1、非形式证明和形式证明在风格上不同。
A、对
B、错
2、形式证明和非形式证明在严谨性上相同。
A、对
B、错
3、形式证明比非形式证明严谨。
A、对
B、错
4、一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（ ）。
A、后承
B、前提
C、结论
D、子结论
5、如果在前提是真实的任何情况下结论必须是真的，则称论证是（ ）。
A、有效的
B、可靠的
C、完全的
D、 无效的
6、逻辑上有效的论证的结论是其前提的（ ）。
A、一个前件
B、两个前件
C、一个逻辑后承
D、 三个前件
7、一个论证是可靠的，需要满足下面的哪些条件。
A、有真有假的
B、有效的
C、前提和结论都真
D、 假的
8、每个n元谓词被解释为一个与谓词有相同元数的（ ）。
A、性质
B、关系
C、个体词
D、 个体常项
9、恒等的自反性是指：（）。
A、a=a
B、b=c
C、a¹a
D、Ø(a¹a)
10、形式证明比非形式证明简单。（）
A、对
B、错
