逻辑断言

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

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

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

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