逻辑断言

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

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.