逻辑断言

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

 (\vdash p)\rightarrow(x \pmod 2 \equiv 0)

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

 \vdash \left( (\vdash p)\rightarrow(x \pmod 2 \equiv 0) \right)