实验逻辑学知到智慧树期末考试答案题库2025年南开大学

非形式证明和形式证明在风格上不同。

答案:对

重言式都是（）语句。

答案:逻辑真

逻辑上有效的论证的结论是其前提的（）。

答案:一个逻辑后承

通常，称每两两不同的对象在某关系中成立，需要一个形如（）的语句。

答案:通常，称每两两不同的对象在某关系中成立，需要一个形如（）的语句。

通常，称有两个不同的对象在某关系中成立，需要一个形如（）的语句。

答案:通常，称有两个不同的对象在某关系中成立，需要一个形如（）的语句。

通常，称有两个不同的对象在某关系中成立，不是下面的（）的语句。

答案:通常，称有两个不同的对象在某关系中成立，不