查看“︁逻辑断言”︁的源代码

'''断言'''（{{lang-en|judgement或assertion}}）在逻辑学中是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空[[前件]]的[[相继式]]。

例如，如果p=“x是偶数”，则蕴涵<math> (\vdash p) \rightarrow x \bmod 2 = 0</math>因此为真。还可以使用[[断定号]]写为<math> \vdash (\vdash p) \rightarrow x \bmod 2 = 0</math>。

{{Logic-stub}}
[[Category:數理邏輯|L]]