逻辑断言

王朝百科·作者佚名  2010-05-13  
宽屏版  字体: |||超大  

逻辑断言

逻辑断言是断定一个特定前提为真的陈述,并且对在证明中的陈述有用。它等价于有空前件的相继式。

例如,如果 p = "x 是偶数",则蕴涵

因此为真。我们还可以使用逻辑断言符

逻辑断言

 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
© 2005- 王朝百科 版权所有