逻辑断言
（逻辑学术语）
逻辑断言是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。因此为真。
加载更多
领域
提 交
逻辑学
哲学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》