逻辑断言是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。
例如，如果 p = "x 是偶数"，则蕴涵
因此为真。我们还可以使用逻辑断言符
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。