逻辑断言

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

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

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

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

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

逻辑断言是一个與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。

来自“http://www.chinawiki.org/wiki/%E9%80%BB%E8%BE%91%E6%96%AD%E8%A8%80”

2个分类: 逻辑学小作品 | 數理邏輯