当前位置:
王朝网络
>>
王朝百科
>> 逻辑断言
王朝百科
逻辑断言
王朝百科·作者佚名 2010-05-13
宽屏版
字体:
小
|
中
|
大
|
超大
逻辑断言是断定一个特定前提为真的陈述,并且对在证明中的陈述有用。它等价于有空前件的相继式。
例如,如果 p = "x 是偶数",则蕴涵
因此为真。我们还可以使用逻辑断言符
点击展开全文
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
热搜词条
·
最大简约法
·
青华阁
·
露丝·本尼迪克特
·
南宁市衡阳路小学
·
顺从电压
·
宁大附院
·
车逝
·
命令模式
·
谢磊明
·
中陈郝瓷窑遗址
©
2005-
王朝百科
版权所有