逻辑断言
断言（）在逻辑学中是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。
例如，如果p=“x是偶数”，则蕴涵formula_1因此为真。还可以使用断定号写为formula_2。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.