+- MyTFLS社区 (https://community.mytfls.com)
+-- 论坛： 学术人才交流中心 (https://community.mytfls.com/forum-9.html)
+--- 论坛： 学法交流 (https://community.mytfls.com/forum-10.html)
+--- 主题： 形式逻辑！三段论格的特殊规则的证明~（1） (/thread-10212.html)
页：
1
2
形式逻辑！三段论格的特殊规则的证明~（1） - dsssm008 - 2005-11-14
自己证的，肯定有不简洁之处。
先是前两个。
审判格
（1）小前提必须肯定。
假设小前提为否定命题，由规则5，结论也为否定命题；
∴M在小前提中周延，S不周延；P周延
则大前提为否定命题，由规则4推出矛盾；
∴小前提为肯定命题
（2）大前提必全称。
假设大前提为特称，由规则7，结论也为特称命题
∴S不周延；
①设大前提为I；
∴M在大前提中不周延，P不周延；
由规则2，M在小前提中周延；
∵S不周延；
∴小前提为O
由特殊规则推出矛盾。
②设大前提为O,由规则5，结论也为否定命题；
∴M在大前提中不周延，P周延；
∴结论为O，S不周延；
又∵M在小前提中周延；
∴小前提为O；由规则4推出矛盾
∴大前提必全称
区别格
（1）两前提必有一否定。
假设两前提均为肯定，则中项不周延。
∴两前提必有一否定
（2）大前提必全称。
假设大前提为特称，由规则7，结论也为特称命题
∴P不周延，结论为I，S不周延；
∴由规则5，大前提不能为O；
当大前提为I时，M在大前提中不周延；
∴M在小前提中周延；S不周延；
∴小前提为O；由规则6推出矛盾；
∴大前提必全称
- 鹤冲天 - 2005-11-15
F**K
算你丫丫的狠
添加~ - dsssm008 - 2005-11-18
反驳格
（1）小前提必肯定。
假设小前提为否定，由规则5，结论也为否定命题。
∴S周延，M在小前提中不周延；P周延；
∴M在大前提中周延。大前提为E；
由规则4推出矛盾。
∴小前提必肯定。
（2）结论必特称。
假设结论为全称，则S周延，P不周延；
∴小前提为否定命题
由特殊规则1推出矛盾
∴结论必特称。
[ Last edited by dsssm008 on 2005-11-18 at 01:19 ]
- kitty葱葱 - 2005-11-18
弱弱的问一下～＂周延＂是what~
- milan817 - 2005-11-18
大一的时候我们也学过这个
- dsssm008 - 2005-11-18
所谓性质判断中主、谓项的周延性，指的是性质判断中主、谓项外延被断定的数量情况。在一个性质判断中，如果其逐项或谓项被断定了全部外延，他就是周延的。
哈哈！！不是周延青！
- 羽扇纶巾 - 2005-11-18
请求楼主全篇翻译。。。
- 那时花开 - 2005-11-18
me too
~~~~~~
- 97级大忽悠 - 2005-11-18
你呀就拽把 贴到这干嘛？
- dsssm008 - 2005-11-19
引用：Originally posted by 97级大忽悠 at 2005-11-18 09:20 PM:学法交流~奇文共欣赏，疑义相与析~
你呀就拽把 贴到这干嘛？