湖南工业大学 《普通逻辑学》练习答案.docxVIP

杜音、艾泽银主编《普通逻辑学》练习题参考答案第一章练习题答案填空题逻辑常项，逻辑变项基础性，工具性逻辑学，思维规律中国，印度，古希腊必然性，或然性数学分析题请指出下列各段文字中具有共同逻辑形式的命题或推理，并用公式表示出来。第1、9、10，共同形式：如果p，那么q。第2、6，共同形式：或者p，或者q。第3、7，共同形式：如果p，那么q；p，所以q。第4、12，共同形式：p并且q，但是r。第5、11，共同形式：只有p，才q。第8、13，共同形式：MAP，SAM，所以SAP。三、选择题1、D2、A3、D第二章练习题答案一、写出下列复合命题的逻辑形式1、p∧q2、（p∧（qr））∧（s∧（tu））3、p∨q∨r4、（p∧q∧r）5、p∨q6、（pq）∧（pr∧t）7、p∧q8、（p∧q）r 9、（pq）∧（rs）10、（p∨q）r11、（p∧q）r 12、（pq）∧（rq）∧（（p∧q）∨（r∧q））13、（（p∧q）∨r）s14、（p∧q）r15、p（qr）16、（pq）∧（rs）二、分析下列命题为何种选言命题？1、不相容选言命题2、相容选言命题3、不相容选言命题4、不相容选言命题5、相容选言命题6、不相容选言命题三、找出下列命题中哪些具有等值关系，并写出它们的逻辑形式。1、1与6为等值关系。（pq）（p∨q）2、2与7为等值关系。（p∨q）（p∧q）3、3与5为等值关系。（pq）（pq）4、4与8为等值关系。（qp）（p∨q）四、写出下列推理的形式结构，并分析是否有效。1、有效。（（p∧q）r）∧（p∨q）r2、有效。（p∨q）∧（qr）∧rp3、无效。这是充分条件假言推理的否定后件式。根据充分条件假言推理的规则，否定后件就要否定前件，而前件是一个联言命题，否定一个联言命题，则应该得到一个相应的选言命题，而不是联言命题。所以，该推理无效。（（p∧q）r）∧r（p∧q）。4、有效。（p∨q）∧（pr）∧（qs）∧r（q∧s）。5、无效。这是一个充分条件假言联锁推理。充分条件假言连锁推理的肯定前件式是有效的，否定前件式是无效的。（pq）∧（qr）（pr）。6、有效。这是二难推理的简单构成式，是有效的。（pr）∧（qr）∧（p∨q）r。7、无效。这是必要条件假言命题连锁推理，必要条件假言命题连锁推理的否定前件式是有效形式，肯定前件式无效（pq）∧（qr）（pr）。8、有效。这是假言联言推理的肯定前件式，是有效的。（pq）∧（rs）∧（p∧r）（q∧s）。9、无效。这是一个相容选言推理，由否定一部分选言支到肯定另外一部分选言支，应该得到的是（q∨s），但该推理得出的是（q∨s）。所以，无效。（p∨q∨r）∧r（q∨s）。10、有效。属于反三段论的有效式。（（p∧q∧r）s）（（s∧q∧r）p）五、列出下列公式的真值表，并指出它们是重言式还是矛盾式或协调式？1、解：列出该真值形式的真值表：pqqq∧qp∧（q∧q）TTFFFTFTFFFTFFFFFTFF从真值表中可以看出，最后一栏的真值都为假，因此，该真值形式为矛盾式。2、解：列出该真值形式的真值表：pqpq（qp）（pq）（qp）TTTTTTFFTTFTTFFFFTTT从真值表中可以看出，最后一栏的真值既有真也有假，因此，该真值形式为协调式。3、解：列出该真值形式的真值表：pqp∨qp∨q（p∨q）q∨pTTTTTTFTTTFTTTTFFFFT从真值表中可以看出，最后一栏的真值都为真，因此，该真值形式为重言式。4、解：列出该真值形式的真值表：pqrp∨qq∨rp∧（q∨r）（p∨q）∧rp∧（q∨r）（p∨q）∧rTTTTTTTTTTFTTTFFTFTTTTTTTFFTFFFTFTTTTFTFFTFTTFFTFFTFTFFTFFFFFFFT从真值表中可以看出，最后一栏的真值既有真也有假，因此，该真值形式为协调式。六、用归谬赋值法判定下列公式是否重言式？1、（pq）（qp）证：真值形式（pq）（qp）等值于（pq）（qp），要判定（pq）（qp）是否为重言式，只要判定（pq）（pq）是否为重言式即可。对（pq）（qp）赋值如下：（pq）（qp）TT F FFFF T在赋值中，变项p,q都没有出现矛盾，因此，该真值形式可以为假，故原真值形式不为重言式。2、（p q）（p r）（p q r ）证：本题需分情况讨论：假设①（p q）为真,（p r）为假；②（p q）为假，（p r）为真①（p q）（p r）（p q r ） T TTTT F FF T F FFF在赋值中，变项q出现了赋值矛盾，因此，①式不可能为假，故为重言式。②（p q）（p r）（p q r ） T F F T TTTF T F FFF在赋值中