西南大学《形式逻辑》网上作业及参考答案.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.等值命题

E.矛盾命题

12.在以下哪些情况下，一个命题是重言式？()

A.命题在任何情况下都为真

B.命题在任何情况下都为假

C.命题的真值依赖于具体情况

D.命题的真值取决于命题的否定

13.以下哪些命题是假命题？()

A.所有的猫都是哺乳动物

B.某个猫不是哺乳动物

C.没有猫是哺乳动物

D.所有的哺乳动物都是猫

14.以下哪些逻辑运算符是逻辑等价运算符？()

A.且（∧）

B.或（∨）

C.非非（??）

D.且非（∧?）

E.或非（∨?）

15.以下哪些是形式逻辑的研究对象？()

A.语言结构

B.命题的真值

C.逻辑推理的有效性

D.逻辑系统的形式化

E.逻辑推理的直觉

三、填空题(共5题)

16.形式逻辑中的命题是指可以明确判断其真假的陈述句，它分为简单命题和______。

17.在逻辑推理中，如果前提是真的，那么结论也一定是真的，这种推理被称为______推理。

18.在逻辑中，如果一个命题的否定形式与原命题等价，那么这个命题被称为______命题。

19.逻辑学中的______是指能够从真前提推出真结论的推理形式。

20.在形式逻辑中，______是构成命题的最小单位，是判断的出发点。

四、判断题(共5题)

21.形式逻辑只研究命题的真假，而不关心命题的意义。()

A.正确B.错误

22.一个命题如果是重言式，那么它的否定也是重言式。()

A.正确B.错误

23.演绎推理的结论一定比前提更具体。()

A.正确B.错误

24.逻辑等价是指两个命题在逻辑上可以互相替换而不改变整个命题的意义。()

A.正确B.错误

25.在逻辑推理中，只要前提是真的，那么结论就一定是真的。()

A.正确B.错误

五、简单题(共5题)

26.请简述形式逻辑与日常推理的主要区别。

27.解释什么是逻辑等价？举例说明。

28.什么是假言推理？请举例说明。

2