形式逻辑习题-薛睿考试题库.docxVIP

形式逻辑习题-薛睿

姓名：__________考号：__________

题号

一

二

三

四

五

总分

评分

一、单选题(共10题)

1.如果所有的人都是凡人，那么以下哪项是正确的？()

A.某些人不是凡人

B.所有人都是凡人

C.某些人不是凡人，但所有人都是凡人

D.无法确定

2.以下哪个命题是无效的？()

A.所有猫都是动物

B.如果所有猫都是动物，那么有些动物是猫

C.如果有些动物是猫，那么所有猫都是动物

D.如果有些动物不是猫，那么所有猫都不是动物

3.以下哪个命题是等价命题？()

A.所有学生都及格和没有学生不及格

B.所有学生都及格和有些学生不及格

C.所有学生都及格和所有学生都通过考试

D.所有学生都及格和至少有一个学生不及格

4.以下哪个命题是矛盾命题？()

A.所有猫都是动物和有些猫不是动物

B.所有猫都是动物和所有猫都不是动物

C.所有猫都是动物和有些猫是动物

D.所有猫都是动物和至少有一只猫不是动物

5.以下哪个命题是正确的？()

A.如果今天下雨，那么明天会下雨

B.如果今天下雨，那么明天不会下雨

C.如果今天不下雨，那么明天会下雨

D.如果今天不下雨，那么明天不会下雨

6.以下哪个命题是正确的？()

A.如果所有的人都是凡人，那么没有人是神

B.如果所有的人都是凡人，那么有些人不是神

C.如果所有的人都是凡人，那么有些人可能是神

D.如果所有的人都是凡人，那么所有人都是神

7.以下哪个命题是正确的？()

A.如果所有的人都是凡人，那么有些人不是神

B.如果所有的人都是凡人，那么有些人可能是神

C.如果没有人是神，那么所有的人都是凡人

D.如果没有人是神，那么有些人不是凡人

8.以下哪个命题是正确的？()

A.如果所有的人都是凡人，那么没有人是神

B.如果没有人是神，那么所有的人都是凡人

C.如果有些人不是神，那么所有的人都是凡人

D.如果有些人不是神，那么有些人可能是凡人

9.以下哪个命题是正确的？()

A.如果所有的人都是凡人，那么有些人不是神

B.如果没有人是神，那么所有的人都是凡人

C.如果有些人不是神，那么所有的人都是凡人

D.如果有些人不是神，那么有些人可能是凡人

10.以下哪个命题是正确的？()

A.如果所有的人都是凡人，那么有些人不是神

B.如果没有人是神，那么所有的人都是凡人

C.如果有些人不是神，那么所有的人都是凡人

D.如果有些人不是神，那么有些人可能是凡人

二、多选题(共5题)

11.以下哪些命题是形式逻辑中的有效推理形式？()

A.某人聪明→该人勤奋

B.某人勤奋→该人聪明

C.所有猫都是动物→有些动物是猫

D.有些动物是猫→所有猫都是动物

12.以下哪些命题是形式逻辑中的矛盾命题？()

A.所有学生都及格和有些学生不及格

B.所有学生都及格和所有学生都通过考试

C.所有学生都及格和至少有一个学生不及格

D.所有学生都及格和没有人及格

13.以下哪些命题是形式逻辑中的等价命题？()

A.所有猫都是动物和有些猫不是动物

B.所有猫都是动物和所有猫都不是动物

C.所有猫都是动物和有些猫是动物

D.所有猫都是动物和至少有一只猫不是动物

14.以下哪些命题是形式逻辑中的假言命题？()

A.所有猫都是动物

B.如果今天下雨，那么地面是湿的

C.有些猫不是动物

D.如果今天不下雨，那么明天会下雨

15.以下哪些命题是形式逻辑中的否定命题？()

A.所有猫都是动物

B.如果今天下雨，那么地面是湿的

C.有些猫不是动物

D.今天不会下雨

三、填空题(共5题)

16.在形式逻辑中，如果一个命题的否定形式是另一个命题，那么这两个命题之间的关系称为______。

17.如果一个命题是真的，那么它的否定形式______。

18.在逻辑推理中，如果前提是真的，那么结论______。

19.形式逻辑中的等价命题是指______。

20.在形式逻辑中，如果一个命题的逆命题和否命题都是真的，那么原命题______。

四、判断题(共5题)

21.在形式逻辑中，如果一个命题是真的，那么它的逆命题一定也是真的。()

A.正确B.错误

22.如果一个命题是真的，那么它的否定命题一定是假的。()

A.正确B.错误

23.在形式逻辑中，所有命题都必然有真值。()

A.正确B.错误

24.如果一个命题