第六章：演绎推理(二)_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者
评价文档：
第六章：演绎推理(二)
逻​辑​学​课​件
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：465.00KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢假言判断及其推理。一、假言判断及其种类 （一）什么是假言判断。如果天下雨，那么..
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
假言判断及其推理
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口点击查看更多关于的相关文档第五节 负判断及其推理_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
文档贡献者
评价文档：
第五节 负判断及其推理
把文档贴到Blog、BBS或个人站等：
普通尺寸(450*500pix)
较大尺寸(630*500pix)
大小：79.50KB
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢一、1、这是二肢联言判断，联言肢是“任何公民享有法律规定的权利”、“任何公民必须履行法律规定的义务”，联结项是“??并且??”，逻辑形式p∧q2、这是二肢联言判断，联言肢是“我们要学法”、“我们要守法”，联结项是“既??又??”，逻辑形式p∧q3、这是二肢联言判断，联言肢是“我们必须建设高度的社会主义民主”、“我们必须建设完备的社会主义法制”，联结项是“??和??”，逻辑形式p∧q4、这是二肢联言判断，联言肢是“李某犯贪污罪”、“李某犯诈骗罪”，联结项是“不仅??而且??”，逻辑形式p∧q5、这是三肢联言判断，联言肢是“抢劫罪是以非法占有公私财产为目的的犯罪”、“盗窃罪是以非法占有公私财产为目的的犯罪”、“诈骗罪是以非法占有公私财产为目的的犯罪”，联结项是“??都??”，逻辑形式p∧q∧r6、这是二肢联言判断，联言肢是“刑法是国家的重要法律”、“民法是国家的重要法律”，联结项是“??和??都??”，逻辑形式p∧q7、这是二肢联言判断，联言肢是“公民的人身权利是公民进行正常生活的前提”、“公民的人身权利是公民享受其他权利的前提”，联结项是“??和??”，逻辑形式p∧q8、这是二肢联言判断，联言肢是“制定法律是一项极其严肃的工作”、“制定法律是一项极其复杂的工作”，联结项是“??和??”，逻辑形式p∧q 二、1、这是联言推理的合成式，逻辑形式(p,q)→(p∧q)2、这是联言推理的分解式，逻辑形式(p∧q)→p3、这是联言推理的合成式，逻辑形式(p,q)→(p∧q)4、这是联言推理的分解式，逻辑形式(p∧q)→p5、这是联言推理的合成式，逻辑形式(p,q)→(p∧q)6、这是联言推理的分解式，逻辑形式(p∧q∧r∧s)→s7、这是联言推理的分解式，逻辑形式(p∧q)→q8、这是联言推理的合成式，逻辑形式(p,q)→(p∧q) 三、(略) 四、1、这是不相容选言推理的否定肯定式，逻辑形式是 (（p要么q）∧非p)→q， 该推理形式正确，符合不相容选言推理规则。2、这是相容选言推理的肯定否定式，逻辑形式是((p∨q)∧p)→非q ,该推理形式不正确，违反相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”，犯了“由肯定一部分选言肢进而否定另一部分选言肢”的逻辑错误。3、这是相容选言推理的肯定否定式，逻辑形式是((p∨q∨r)∧p)→非q ∧非 r,该推理形式不正确，违反相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”，犯了“由肯定一部分选言肢进而否定另一部分选言肢”的逻辑错误。4、这是相容选言推理的肯定否定式，逻辑形式是((p∨q)∧q)→非p ,该推理形式不正确，违反相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”，犯了“由肯定一部分选言肢进而否定另一部分选言肢”的逻辑错误。5、这是不相容选言推理的肯定否定式，逻辑形式是(（p要么q）∧p)→非q ，该推理形式正确，符合不相容选言推理规则。6、这是相容选言推理的否定肯定式，逻辑形式是((p∨q∨r∨s)∧(非p∧非r∧非s))→q ,该推理形式正确，符合相容选言推理规则“否定一部分选言肢，必然要肯定另一部分选言肢”。7、这是相容选言推理的肯定否定式，逻辑形式是((p∨q)∧q)→非p ,该推理形式不正确，违反相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”，犯了“由肯定一部分选言肢进而否定另一部分选言肢”的逻辑错误。8、这是不相容选言推理的否定肯定式，逻辑形式是 (（p要么q要么r要么s）∧(非q∧非r∧非s))→p， 该推理形式正确，符合不相容选言推理规则。 五、1、不能必然得结论。因为一般性前提是一个相容选言判断，另一前提则肯定其中的一个选言肢，根据相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”。2、能够必然得出结论。因为一般性前提是一个不相容选言判断，另一前提则肯定其中的一个选言肢，根据不相容选言推理规则“否定除一个以外的其它选言肢，必然要肯定那个未被否定的选言肢”。3、能够必然得出结论。因为一般性前提是一个相容选言判断，另一前提则否定除一个以外的其余选言肢，根据相容选言推理规则“否定一部分选言肢，必然要肯定另一部分选言肢”。4、不能必然得结论。因为一般性前提是一个相容选言判断，另一前提则肯定其中的一个选言肢，根据相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”。5、不能必然得结论。因为一般性前提是一个相容选言判断，另一前提则肯定其中的一个选言肢，根据相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”。6、能够必然得出结论。因为一般性前提是一个相容选言判断，另一前提则否定除一个以外的其余选言肢，根据相容选言推理规则“否定一部分选言肢，必然要肯定另一部分选言肢”。7、能够必然得出结论。因为一般性前提是一个相容选言判断，另一前提则否定除一个以外的其余选言肢，根据相容选言推理规则“否定一部分选言肢，必然要肯定另一部分选言肢”。8、不能必然得结论。因为一般性前提是一个相容选言判断，另一前提则肯定其中的一个选言肢，根据相容选言推理规则“肯定一部分选言肢，则不能否定另一部分选言肢”。9、能够必然得出结论。因为一般性前提是一个不相容选言判断，另一前提则肯定其中的一个选言肢，根据不相容选言推理规则“否定除一个以外的其它选言肢，必然要肯定那个未被否定的选言肢”。10、根据题意可知：警察和这个女孩要么是父女关系，要么是母女关系；已知不是父女关系，所以是母女关系。11、能够必然得出结论。因为一般性前提是一个相容选言判断，另一前提则否定除一个以外的其余选言肢，根据相容选言推理规则“否定一部分选言肢，必然要肯定另一部分选言肢”。六、（略） 七、（略） 法律逻辑学练习题参考答案（5）责任教师
赵曼初第六章 复合判断及其演绎推理（二）一、1、这是必要条件假言三段论推理的肯定后件式，逻辑形式(（p←q）∧q)→p,推理形式正确，因为根据必要条件假言三段论推理规则“肯定后件，就要肯定前件”。2、这是充分条件假言三段论推理的否定后件式，逻辑形式(（p→q）∧非q)→非p,推理形式正确，因为根据充分条件假言三段论推理规则“否定后件，就要否定前件”。3、这是必要条件假言三段论推理的否定后件式，逻辑形式(（p←q）∧非q)→非p,推理形式不正确，违反必要条件假言三段论推理规则“否定后件，不能否定前件”，犯有“由否定后件到否定前件”的逻辑错误。4、这是充分条件假言三段论推理的否定后件式，逻辑形式(（p→q）∧非q)→非p,推理形式正确，因为根据充分条件假言三段论推理规则“否定后件，就要否定前件”。5、这是充分条件假言三段论推理的肯定后件式，逻辑形式(（p→q）∧q)→p,推理形式不正确，违反充分条件假言三段论推理规则“肯定后件，不能肯定前件”，犯有“由肯定后件到肯定前件”的逻辑错误。6、这是必要条件假言三段论推理的肯定前件式，逻辑形式(（p←q）∧p)→q,推理形式不正确，违反必要条件假言三段论推理规则“肯定前件，不能肯定后件”，犯有“由肯定前件到肯定后件”的逻辑错误。7、这是充分条件假言三段论推理的否定后件式，逻辑形式(（p→q）∧非q)→非p,推理形式正确，因为根据充分条件假言三段论推理规则“否定后件，就要否定前件”。8、这是必要条件假言三段论推理的肯定前件式，逻辑形式(（p←q）∧p)→q,推理形式不正确，违反必要条件假言三段论推理规则“肯定前件，不能肯定后件”，犯有“由肯定前件到肯定后件”的逻辑错误。9、这是充分必要条件假言三段论推理的否定后件式，逻辑形式(（p←→q）∧非q)→非p,推理形式正确，因为根据充分必要条件假言三段论推理规则“否定后件，就要否定前件”。10、这是必要条件假言三段论推理的否定前件式，逻辑形式(（p←q）∧非p)→非q,推理形式正确，因为根据必要条件假言三段论推理规则“否定前件，就要否定后件”。11、这是充分条件假言三段论推理的肯定前件式，逻辑形式(（p→q）∧p)→q,推理形式正确，符合充分条件假言三段论推理规则“肯定前件，就要肯定后件”。12、这是充分条件假言三段论推理的否定前件式，逻辑形式(（p→q）∧非p)→非q,推理形式不正确，违反充分条件假言三段论推理规则“否定前件，不能否定后件”，犯有“由否定前件到否定后件”的逻辑错误。13、这是必要条件假言三段论推理的否定前件式，逻辑形式(（p←q）∧非p)→非q,推理形式正确，因为根据必要条件假言三段论推理规则“否定前件，就要否定后件”。 二、1、正确。2、正确。3、错误。可改为“如果p,那么q；非q，所以，非p。”4、错误。可改为“只有p，才q；非p，所以，非q。”5、错误。可改为“如果p,那么q；p，所以，q。”6、错误。可改为“只有p，才q；q，所以，p。”7、正确。8、正确。9、错误。可改为“或者p,或者q；非q，所以，p。”10、正确。 三、（略） 四、（略） 五、1、用充分条件假言三段论否定后件式必然推出结论：“被告没有犯贪污罪。”逻辑形式：(（p→(q∨r)）∧（非q∧非r）→非p2、用充分条件假言三段论否定后件式必然推出结论：“跳窗进去的人熟悉屋内的情况。”逻辑形式：(（p→q）∧非q)→非p3、用必要条件假言三段论肯定后件式必然推出结论：“是握有本商店钥匙的人参与盗窃。”逻辑形式：(（p←q）∧q)→p4、不能必然推出结论。因为前提是肯定充分条件假言判断的后件，而根据充分条件假言推理的规则“肯定后件不能肯定前件”，否则会犯“由肯定后件到肯定前件”的逻辑错误。5、不能必然推出结论。因为前提是否定必要条件假言判断的后件，而根据必要条件假言推理的规则“否定后件不能否定前件”，否则会犯“由否定后件到否定前件”的逻辑错误。6、不能必然推出结论。因为前提是否定充分条件假言判断的前件，而根据充分条件假言推理的规则“否定前件不能否定后件”，否则会犯“由否定前件到否定后件”的逻辑错误。7、不能必然推出结论。因为前提是肯定必要条件假言判断的前件，而根据必要条件假言推理的规则“肯定前件不能肯定后件”，否则会犯“由肯定前件到肯定后件”的逻辑错误。8、用充分条件假言三段论肯定前件式必然推出结论：“被告行为不能构成破坏野生动物资源罪。”逻辑形式：(（p→q）∧p)→q9、用必要条件假言三段论否定前件式必然推出结论：“该案件的死者不是因窒息而死亡的。”逻辑形式：(（p←q）∧非p)→非q10、孙亮是用充分条件假言三段论否定后件式进行推理的，必然推出结论：“不是藏吏保管蜂蜜不当，而是黄门刚才使鼠屎入蜜。”逻辑形式：(（p→q）∧非q)→非p11、张举是用充分条件假言三段论否定后件式进行推理的，必然推出结论：“其夫不是死于火。”逻辑形式：(（p→q）∧非q)→非p12、用假言联言推理的简单破坏式可必然推出结论：“小李的父母没有像牛马一样忍受最大的牺牲去娇惯放纵孩子。”逻辑形式：(((p→q)∧(p→r))∧（非q∧非r）)→非p13、用假言选言推理的简单破坏式可必然推出结论：“张某不是投毒犯。”逻辑形式：(((p→q)∧(p→r))∧（非q∨非r）)→非p14、用假言选言推理的复杂构成式式可必然推出结论：“当局者或者将东西糟完，或者将东西偷完。”逻辑形式：(((p→r)∧(q→s))∧（p∨q）)→(r∨s) 六、1、这是负全称否定判断等值推理，逻辑形式：并非SEP←→SIP。推理形式正确，因为“并非SEP”等值于“SIP”，由“并非SEP”必然推出“SIP”。2、这是负充分条件假言判断等值推理，逻辑形式：(并非（p→q）)←→(p∧非q)。推理形式正确，因为“并非（p→q）”等值于“p∧非q”，由“并非（p→q）”必然推出“p∧非q”。3、这是负特称否定判断等值推理，逻辑形式：并非SOP←→SAP。推理形式正确，因为“并非SOP”等值于“SAP”，由“并非SOP”必然推出“SAP”。4、这是负全称肯定判断等值推理，逻辑形式：并非SAP←→SEP。推理形式不正确，因为“并非SAP”不等值于“SEP”，由“并非SAP”不能推出“SEP”。5、这是负特称肯定判断等值推理，逻辑形式：并非SIP←→SEP。推理形式正确，因为“并非SIP”等值于“SEP”，由“并非SIP”必然推出“SEP”。6、这是负联言判断等值推理，逻辑形式：并非（p∧q）←→非p∧非q。推理形式不正确，因为“并非（p∧q）”不等值于“非p∧非q”，由“并非（p∧q）”不能推出“非p∧非q”。7、这是负充分条件假言判断等值推理，逻辑形式：(并非（p→q）)←→(非p∧q)。推理形式不正确，因为“并非（p→q）”不等值于“非p∧q”，由“并非（p→q）”不能推出“非