逻辑断言是断定一个特定前提为真的陈述,并且对在证明中的陈述有用。它等价于有空前件的相继式。
例如,如果 p = "x 是偶数",则蕴涵
因此为真。我们还可以使用逻辑断言符号写为
页面分类: 逻辑学小作品 | 數理邏輯