第十六章单元测试
一个好的策略是找到一个非形式的证明然后试着形式化它。
在证明中,如果你遇到困难,请考虑用矛盾证明法。
倒推的方法在证明全称断言时不是非常有用的。
系统F不具有可靠性。（ ）
在使用全称量词引入规则时,要求引入的常项c( )出现在引入它的子证明的外面。
在使用存在量词消去规则时,要求引入的常项c( )出现在引入它的子证明的外面。
倒推的方法在证明全称断言时，对于下面哪种形式的公式有用？
可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（ ）。
倒推的方法在证明（）。
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A:错 B:对
答案:对
A:错 B:对
A:对 B:错
A:错 B:对
A:不能 B:有时能 C:
有时不能
D:可以A:有时能 B:可以 C:有时不能
A:
B:
C:
D:
A:塔斯基后承
A:
在证明存在断言时没有用
B:有时有用
C:全称断言时非常有用
D:有时没用A:全称量词引入规则 B:存在量词消去规则 C:全称量词消去规则 D:存在量词引入规则
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
