对当关系推理的有效式
直言命题的推理
为了便于记忆,在逻辑上,将A、E、I、O这四个决策之间的关系用下面的逻辑方阵来表示。
奇异命题通常被视为全称命题的特例。
然而,考虑到对应性(即真与假之间的关系),单称命题不能用作全称命题的特例。
如果涉及相同的单数命题,则上述对应关系需要稍微扩展。
单数肯定命题和单数否定命题是矛盾关系,单数命题和同质个体命题是微分关系。
它们也存在差异相关性。
考虑一元命题,所有对应关系都可以用下图表示。
范畴命题对应推理是指根据命题的四种对应关系得出结论的推理。
范畴命题之间的对应有四种类型,因此范畴命题之间的对应有四种类型的推论。
如下表所示,矛盾推理 SAP→¬SEPSEP→¬SAP¬ 代表命题的否定,→ 代表对立推理的推论 ¬SIP→SOP¬SOP→SIP 矛盾推理 SAP→¬SOPSOP→¬SAP ¬SAP →Sop¬Sop→ SAPSEP → ¬SIPSIP → ¬SEP¬SEP → SIP 推理得出结论。
因此,变换推理有两种方法:转置法和转置法。
代换法是一种通过改变作为范畴命题前提的连接项,推导出不同范畴命题作为结论的推理方法。
规则: 1. 将前提中的连词由肯定改为否定,由否定改为肯定。
2、将前提的谓语改为原项的否定项作为结论的谓语。
3.结论保留了前提的主题和数量术语。
例如:所有金属都是导体,因此并非所有金属都是非导体。
换置法是一种将作为前提的范畴命题的主语和谓语互换,并得出不同的范畴命题作为结论的推理方法。
规则: 1、交换前提的主语和谓语的位置,作为结论的主语和谓语。
2. 在不改变连接条件的前提下。
3. 未包含在假设中的术语如下: 结论是不会分发。
例如:金属是导体,所以有些导体是金属。
命题 A、E、I 和 O 都可以进行排列推理。
在进行排列推理时,需要注意的是,结论的谓词只能是与前提的谓词存在矛盾关系的项,而事实并非如此。
如果前提谓词存在对立关系,则该实质性推论无效。
与换位推理不同,只有命题 A、E 和 I 可以进行换位推理;命题 O 则不能进行换位推理。
这是因为如果命题 O 被转置,就会做出非转置的推论。
当结论中主语用作谓语时,前提的分散部分就变得分散,违反了换位规则,因此O命题的换位推论无效。
同样,P也不是分布在SAP内部,而是分布在PAS内部,因此SAP转置后也无法得到PAS。
这个推论是无效的,因为它也违反了转置律的规则。
还可以将换位法和换位法结合使用,同时换位前提的好坏和换位也可以得出新的结论。
2如果结合使用两种方法,则必须同时遵循转置方法规则和转置方法规则。
有没有人会这道题 逻辑推理依据直言对当关系和换位规则,从PIS能否推导SOP?
PIS前面的[Ø]符号是负号吗? 我认为应该是这样,否则这个论点就是错误的。根据对应关系-矛盾关系,我们有: ØPIS↔PES; 那么,通过转置,我们有:PES→SEP; 那么利用对应关系-微分关系,有:SEP→SOP;