首页 › 答案 › 题库 › 知到智慧树 › 未分类

没有前提的一个证明表明它是系统的一条（）。

没有前提的一个证明表明它是系统的一条（）。
A.逻辑后承
B.矛盾式
C.可满足式
D.定理
正确答案：定理

标签：定理逻辑前提

上一条：有些Tarski s’World 必然真语句不是（）。

下一条：没有前提的一个证明表明它的结论是一条（）。