厦门大学：普通逻辑学习题选编南京廖华答案网

厦门大学：普通逻辑学习题选编下载本文

文章发布时间 : 2024/11/15 5:58:51星期五

5．a、b、c 9．a、c、d 17．c、d、e 6．a、b、c、d 10．a、b、d、e 18．a、b、c

7．a、b、d、e 11．a、b、d、e 15．a、c、e 19．a、c、d

8．a、c、e 12．a、c、d、e 16．a、b、e 20．a、b、c、d

13．a、b、d、e 14．a、b、e

五、欧拉图解题 1．

① A B C· D

③ A B D C

⑤ C A B D 3.

A C A

(一) (二) 4.

S·P

S P P S （一）（二）（三）

5. P S

（一）（二） 6． S·P

S P （一）（二）

② A C B D. B ④

A D C ⑥ A D B C A C

(三) S P

（四） S

（三） P S S

（三）（四）

7．

S P

六、真值表解题 1． p 真真假假 2．

p 真真假假 3．

p 真真假假 q 真假真假﹁p 假假真真﹁q 假真假真 p→q 真假真真 p? ﹁q 真假假真 p∨q 真真真假﹁p∨﹁q 假真真真 q 真假真假﹁q 假真假真 p→q 真假真真 p? ﹁q 假真真假 p∨﹁q 真真假真 p∨q 真真真假 q 真假真假﹁p 假假真真﹁q 假真假真 p→﹁q 假真真真﹁p? ﹁q 真假假真（p→﹁q）→﹁p? ﹁q 真假假真由上表可知A不是B的充分条件

当p→q与p? ﹁q均真时，p∨﹁q假而p∨q真。

当p→q与p? q均假时，p∨q与﹁p∨﹁q均真。 4．将A、B、C三判断形式化

A：p←q B: p→q C: ﹁p∨﹁q

p 真真假假 q 真假真假﹁p 假假真真﹁q 假真假真 p←q 真真假真 p→q 真假真真﹁p∨﹁q 假真真真当A、B、C均真时，甲与乙均不去北京。

5．将A、B、C三判断形式化，A：p→q B: p? q C: p→﹁q

p 真真假假 q 真假真假﹁q 假真假真 p→q 真假真真 p?q 真假假真 p→﹁q 假真真真当A、B、C恰为一真二假时，甲考上大学，但乙没考上大学。 6、将小毛与小田的预测分别形式化为p→q与p? q

p 真真假假第三，乙是第一，丙是第二。

7．将A、B、C三判断分别形式化为：p→﹁q、p∨q与p∧﹁q。

p 真真假假真，故甲乙均不懂英语。

8．将A、B、C三判断分别形式化为﹁p←q、p∧q、p∨q。

p 真真假假 q 真假真假﹁p 假假真真﹁p←q 假真真真 p∧q 真假假假 p∨q 真真真假﹁q 真假真假 p→﹁q 真假真真 p∨﹁q 真真真假 p∧﹁q 真假假假 q 真假真假 p→q 真假真真 p?q 真假假真据表可知，当小毛与小田的猜测恰有一真时，甲不是第一，丙是第二，所以，甲是

据表可知，当A、B、C三判断恰有两真时，“甲懂英语”为假，“乙不懂英语”为

据表，当A、B、C恰有两假时，“甲村所有人家有彩电”为假，“乙村所有人家有彩电”亦假，故不可断定“甲村所有人家有彩电”但可判定“乙村有些人家没有彩电”。

9．将甲、乙和丙三判断分别形式化为p→q、﹁p←q和p ?﹁q。

p 真真假假 q 真假真假﹁p 假假真真﹁q 假真假真 p→q 真假真真 p←q 假真真真 p?﹁q 假真真假据表，甲、乙、丙三判断不同假，故丁的话不能成立。 10．将甲、乙、丙的话形式化为p∨q、﹁p→﹁q、p→﹁q。

p 真真假假 q 真假真假﹁p 假假真真﹁q 假真假真 p∨q 真真真假﹁p→﹁q 真真假真 p→﹁q 假真真真据表，当李平是大学生而王卫不是大学生时，丁的话成立。 11．将甲、乙、丙的话形式化为p∧﹁q、p∨﹁q、p→﹁q。

p 真真假假﹁q 真假真假 p∧﹁q 真假假假 p∨﹁q 真真真假 p→﹁q 真假真真据表，当小陈是木工、小李不是电工时，丁的话不能成立。 12．将甲、乙、丙的要求形式化为p→q、p←q、p∨q。

p 真真假假七、分析题

1．判断(1)中“甲班学生”表达了集合概念，判断(2)和（3）中，“甲班学生”表达了非集合概念。因为，在判断(1)中“甲班同学”表达的概念反映了一类事物的群体，而判断(2)和(3)中“甲班同学”表达的概念不反映这种群体。

q 真假真假 p→q 真假真真 p←q 真真假真 p∨q 真真真假据表，让小丁与小马均去疗养，可同时满足甲、乙、丙的要求。

Word文档下载：厦门大学：普通逻辑学习题选编.doc

搜索更多:厦门大学：普通逻辑学习题选编