原创力文档- 38
- 0
- 约4.04千字
- 约 4页
- 2016-12-06 发布于重庆
- 举报
逻辑学第三章命题的判定与自然推理答案
(第三章 命题的判定与自然推理
一、用符号表示下列各复合命题的真值形式：
1．p((p。
2．p(q。
3．p→q(如以“不……焉……”为联结词，也可表示为“p←q”)
4．p→q。
5．(p←q) ((p→q)。
二、(p 为假， p(q 为假， p(q 为真，p→q 为假，p?q为假。
三、q的取值应为真。
四、4、5两公式取值为T。
五、各组公式的真值表分别为：
p q p→q q→p T
T
F
F T
F
T
F T
F
T
T T
T
F
T 1．
p q (p p→q (p(q T
T
F
F T
F
T
F F
F
T
T T
F
T
T T
F
T
T 2．
p q (q p→q (( p→q) p((q T
T
F
F T
F
T
F F
T
F
T T
F
T
T F
T
F
F T
T
F
T 3．
p q (p (q (p((q
文档评论（0）