第五章单元测试
非形式证明和形式证明在风格上不同。
形式证明和非形式证明在严谨性上相同。
形式证明比非形式证明严谨。
一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（ ）。
如果在前提是真实的任何情况下结论必须是真的，则称论证是（ ）。
逻辑上有效的论证的结论是其前提的（ ）。
一个论证是可靠的，需要满足下面的哪些条件。
每个n元谓词被解释为一个与谓词有相同元数的（ ）。
恒等的自反性是指：（）。
形式证明比非形式证明简单。（）
A:错 B:对
答案:对
A:错 B:对
A:对 B:错
A:前提 B:后承 C:子结论 D:结论
A:可靠的 B:有效的 C:完全的 D:
无效的
A:
三个前件
A:前提和结论都真 B:
假的
C:有效的 D:有真有假的A:性质 B:
个体常项
A:a¹a B:b=c C:a=a D:Ø(a¹a)
A:错 B:对
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
