2022年逻辑学公式 .pdf

《2022年逻辑学公式 .pdf》由会员分享，可在线阅读，更多相关《2022年逻辑学公式 .pdf（4页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、1.一个有效三段论的大项在前堤中周延而在结论中不周延，这样的三段论属于何种结构形式，并写出其推导过程及依据。2.结论为全称命题的有效三段论，为什么它中项不能周延两次。3.以特称否定命题作为小前提的三段论能否必然推出结论，为什么？4.以特称否定命题作为大前提的有效三段论属于何种结构形式？请写出你的证明过程。5.为什么三段论的前提中有一个特称结论只能是特称？6.一个三段论的结论若为全称否定命题，该三段论可以是哪些结构形式？其前提必须符合哪些要求？7.中项在大小前提中都作主项的有效三段论，为什么其结论只能是特称命题？8.以 PIM为前提的有效三段论属于何种结构形式的三段论，请写出你的证明过程。.以

2、MOP 为前提的有效三段论属于何种结构形式的三段论，请写出你的证明过程。9.已知 A、B、C分别为一个有效三段论的大小前提和结论，且D为 B的矛盾命题。试求证，“（AD）C”是一个无效三段论。名师资料总结-精品资料欢迎下载-名师精心整理-第 1 页，共 4 页 -解答 9 题：（1）因为“（AB）C”为一个有效三段论，则其结论C只能为肯定或否定命题。（2）若结论 C为肯定命题，根据三段论规则“前提有一否定则结论必为否定”，所以A、B前提均为肯定，但B、D为矛盾关系，D为否定命题，则违背了“前提有一否定则结论必为否定”规则，所以，“（AD）C”是一个无效三段论。（3）若结论 C为否定命题，根据规

3、则“前提有一否定则结论必为否定”，则 A、B必然一个为肯定一个为否定命题。第一，若小前提B为否定，大前提 A为肯定,但 B和 D为矛盾关系，D为肯定，则，“（AD）C”是一个无效三段论，违背了“结论是否定前提必有一否定”；第二，若小前提 B为肯定，大前提 A为否定,但 B和 D为矛盾关系，D为否定，则大小前提均为否定，违背了“两个否定前提不能得出必然性结论”，“（AD）C”也是一个无效三段论。综上所述,，“（AD）C”是一个无效三段论判断之间的等值式和推理有效式1.综合推理中常用的等值式（1）双否律：p p（2）德 摩根律：（pq）（p q名师资料总结-精品资料欢迎下载-名师精心整理-第 2

4、页，共 4 页 -（pq）（p q）（3）充分条件假言判断负判断等值式：（pq）（p q）（4）蕴析律：（pq）（pq）（q）（q）（q）（q）（5）必要 条件假言判断负判断等值式：（pq）（pq）（6）逆蕴析律：（pq）（p q）（pq）（p q）（pq）（q p）（7）假言易位律：（pq）（q p）（q）（q）（8）假言命题之间的等值式（pq）（qp）（pq）（p q）（pq）（qp）（pq）（p q）2.综合推理中常用的有效式（1）联言推理分解式（分析律）pqq，pq q（2）联言推理组合式（拼合律）pq（p q）（3）选言推理否定肯定式（否析律）（pq）pq,（pq）qp（4）充分条件

5、假言推理肯定前件式（分离律）（pq）pq（5）充分条件假言推理否定后件式（否后律）（pq）q p（6）必要条件假言推理否定前件式（pq）p q（7）必要条件假言推理肯定后件式（pq)q p（8）二难推理复杂的构成式（）（D）（）（D）（9）二难推理复杂的破坏式（A B）（C D)（)(A C)（10）假言联锁推理的有效式（）(）（）(11)归谬律名师资料总结-精品资料欢迎下载-名师精心整理-第 3 页，共 4 页 -（）（q）（12）附加律（析取引入律）（q）（13）输出律 q）r（p（qr）或：q）r（q（p r）（14）输入律（p（qr）q）r或（q（pr）q）r名师资料总结-精品资料欢迎下载-名师精心整理-第 4 页，共 4 页 -