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

倒推的方法在证明（）。

倒推的方法在证明（）。
A.全称断言时非常有用
B.在证明存在断言时没有用
C.有时有用
D.有时没用
正确答案：全称断言时非常有用；在证明存在断言时没有用

标签：断言有用全称

上一条：可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（）。

下一条：在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。