《形式逻辑》(版)樊明亚主编__练习题参考答案.doc

《形式逻辑》（第二版）练习题参考答案 第四章 一、写出下面复合命题的真值形式： 1．p：事莫明于有效，q：论莫定于有证；真值形式：p∧q 2．p：主义真，q砍头不要紧；真值形式：p→q（此为倒装句，分析时将其还原） 3．p：入虎穴，q得虎子； 真值形式：?p→ ?q 4．p：人固有一死重于泰山，q：人固有一死轻于鸿毛；真值形式： p∧q 注：若单独考虑“人固有一死”，则分析为p：人固有一死，q：（死）重于泰山，r：（死）轻于鸿毛；真值形式： p∧（q∨r） 5．p：知之愈明，q：行之愈笃；真值形式：（p→q）∧（q→p）或：p?q 6．p：我们有正确的前提，q：把思维规律正确地运用于这些前提，r结果必定与现实相符；真值形式：p∧q→r 7．p：国家大，q：国家小，r：有值得我们学习的地方；真值形式：（p∨q）→r 8．p：甲是团员，q：乙是团员，r：丙是团员；真值形式：?（p∧q∧r） 二、用真值表判定下面真值形式的逻辑性质： 1．为重言式 p q p∨q p→（p∨q） T T T T T F T T F T T T F F F T 2．为重言式 p q p→q （p→q）∧p （ p→q ∧p）→q T T T T T T F F F T F T T F T F F T F T 3．为协调式 p q p→q q→p （p→q ）∧（q→p） T T T T T T F F T F F T T F F F F T T T 4．为重言式 p q ?p ?q p∧q ?（p∧q ） （?p∨?q） ?（p∧q ）→（?p∨?q） T T F F T F F T T F F T F T T T F T T F F T T T F F T T F T T T 5．为重言式 p q ?q q∨?q p∨（q∨?q） T T F T T T F T T T F T F T T F F T T T 6．为重言式 p q ?p ?q q∧?q p→（q∧?q） （p→（q∧?q））→?p T T F F F F T T F F T F F T F T T F F T T F F T T F T T 7．为协调式 p q ?p p→q ?p∧q （p→q） ∧（?p∧q） T T F T F F T F F F F F F T T T T T F F T T F F 8．为矛盾式 p q ?p p∧?p （p∧?p）∧q T T F F F T F F F F F T T F F F F T F F 三、用真值表判定下列各组真值形式哪些是等值的，哪些是矛盾的： 1．该组真值形式是矛盾的。 p q p?q p∨q p∧q ?（p∧q） （p∨q）∧ ?（p∧q） T T T T T F F T F F T F T T F T F T F T T F F T F F T F 2．该组真值形式是等值的。 p q ?p ?q ?p→?q q→p T T F F T T T F F T T T F T T F F F F F T T T T 3．该组真值形式是等值的。 p q r q→r p→（q→r） p∧q （p∧q）→r T T T T T T T T T F F F T F T F T T T F T T F F T T F T F T T T T F T F T F F T F T F F T T T F T F F F T T F T 4．该组真值形式是等值的。 p q ?p p→q ?p∨q T T F T T T F F F F F T T T T F F T T T 5．该组真值形式是等值的。 p q ?p ?q p∧q ?（p∧q） ?p∨?q T T F F T F F T F F T F T T F T T F F T T F F T T F T T 6．该组真值形式既不是等值的，也不是矛盾的。 p q ?q p→q ?（p→q） p∨?q T T F T F T T F T F T T F T F T F T F F T T F F 7．该组真值形式是等值的。 p q ?q q∨?q p ∧（q∨?q） q∧?q p∨（q∧?q） T T F T T F T T F T T T F T F T F T F F F F F T T F F F 8．该组真值形式是等值的。 p q ?p ?q p∨q ?（p∨q） ?p∧?q T T F F T F F T F F T T F F F T T F T F F F F T T F T T 四、用归谬赋值法判明