1、一个好的策略是找到一个非形式的证明然后试着形式化它。
A、对
B、错
2、在证明中,如果你遇到困难,请考虑用矛盾证明法。
A、对
B、错
3、倒推的方法在证明全称断言时不是非常有用的。
A、对
B、错
4、系统F不具有可靠性。（ ）
A、对
B、错
5、在使用全称量词引入规则时,要求引入的常项c( )出现在引入它的子证明的外面。
A、不能
B、可以
C、有时能
D、 有时不能
6、在使用存在量词消去规则时,要求引入的常项c( )出现在引入它的子证明的外面。
A、有时能
B、不能
C、可以
D、有时不能
7、倒推的方法在证明全称断言时，对于下面哪种形式的公式有用？
A、
B、
C、
D、
8、可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（ ）。
A、一阶后承
B、逻辑后承
C、重言后承
D、塔斯基后承
9、倒推的方法在证明（）。
A、 全称断言时非常有用
B、 在证明存在断言时没有用
C、 有时有用
D、有时没用
10、在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
A、全称量词消去规则
B、全称量词引入规则
C、存在量词消去规则
D、存在量词引入规则
