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

系统F不具有可靠性。（）

系统F不具有可靠性。（）
A.对
B.错
正确答案：错

标签：可靠性系统

上一条：倒推的方法在证明全称断言时不是非常有用的。

下一条：在使用全称量词引入规则时,要求引入的常项c（）出现在引入它的子证明的外面。