第三章 命题的判定与自然推理.docVIP

(第三章 命题的判定与自然推理 一、用符号表示下列各复合命题的真值形式： 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 p(q ( (p(q) T T F F T F T F F F T T F T F T F T T T T T T F F F F T 4． 5． p q (p (q p?q p(q (p((q (p(q) ( ((p((q) T T F F T F T F F F T T F T F T T F F T T F F F F F F T T F F T 以上各组公式中2、5分别表示相同的真值函项。 六、列出下列公式的真值表，并指出它们分别为重言式、矛盾式或协调式。 各公式的真值表是： p p(p p?( p(p) T F T F T T 1． 2． P q p(q q(p (p(q) ?( q(p) T T F F T F T F T T T F T T T F T T T T 3． P q p→q q→p (p→q) →(q→p) T T F F T F T F T F T T T T F T T T F T 4． P q (p p→q (p(q (p→q) →((p(q) T T F F T F T F F F T T T F T T F F T F F T T F 5． p q (q q((q p( (q((q) T T F F T F T F F T F T F F F F F F F F 以上各公式中，1、2为重言式，3、4为协调式，5为矛盾式。 七、用归谬赋值法判明下列公式是否为重言式。 1. 〔（p→q）(（r→q ）(（p(r）〕→q F T F T FT F T T F F T或T 命题变元p或r有赋值矛盾，故该式为重言式。 2．（p→q）(（p→r ）?（p→q(r ） (1) （p→q）(（p→r ）→（p→q(r ） T T T T TTT F T F FFF q和r有赋值矛盾，所以，（1）式是重言式。 （2）（p→q(r ）→（p→q）(（p→r ） T TTTF F T T T F TF F 所有命题变元均无赋值矛盾，故（2）不是重言式。 3．（p→q）(（q→r ）→（p→r ） T TT T FT F F T F F 命题变元q有赋值矛盾，故该式为重言式。 八、用命题的自然推理，证明下列公式是否为有效式（为系统中的定理）。 p(p→p 证明：①p(p 假设 ②p ①据规则5