形式逻辑！三段论格的特殊规则的证明~（1）

[dsssm008]

自己证的，肯定有不简洁之处。
先是前两个。
审判格
（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推出矛盾；
∴大前提必全称

[鹤冲天]

F**K

算你丫丫的狠

[dsssm008]

反驳格
（1）小前提必肯定。
假设小前提为否定，由规则5，结论也为否定命题。
∴S周延，M在小前提中不周延；P周延；
∴M在大前提中周延。大前提为E；
由规则4推出矛盾。
∴小前提必肯定。

（2）结论必特称。
假设结论为全称，则S周延，P不周延；
∴小前提为否定命题
由特殊规则1推出矛盾
∴结论必特称。

[ Last edited by dsssm008 on 2005-11-18 at 01:19 ]

[kitty葱葱]

弱弱的问一下～＂周延＂是what~

[milan817]

大一的时候我们也学过这个

[dsssm008]

所谓性质判断中主、谓项的周延性，指的是性质判断中主、谓项外延被断定的数量情况。在一个性质判断中，如果其逐项或谓项被断定了全部外延，他就是周延的。

哈哈！！不是周延青！

[羽扇纶巾]

请求楼主全篇翻译。。。

[那时花开]

me too
~~~~~~

[97级大忽悠]

你呀就拽把 贴到这干嘛？

[dsssm008]

Originally posted by 97级大忽悠 at 2005-11-18 09:20 PM:
你呀就拽把 贴到这干嘛？

学法交流~奇文共欣赏，疑义相与析~