逻辑断言
逻辑断言
(
英語:
)是
断定
一个特定前提为真的陈述,并且对在证明中的陈述有用。它等价于有空
前件
的
相继式
。
例如,如果 p = "x 是偶数",则蕴涵
(
⊢
p
)
→
x
mod
2
=
0
{\displaystyle (\vdash p)\rightarrow x{\bmod {2}}=0}
因此为真。我们还可以使用逻辑断言符号写为
⊢
(
⊢
p
)
→
x
mod
2
=
0
{\displaystyle \vdash (\vdash p)\rightarrow x{\bmod {2}}=0}
This article is issued from
Wikipedia
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.