查看“︁直接推理”︁的源代码

'''直接推理'''（immediate inference），是日常语言和[[亚里士多德]]的[[词项逻辑]]中常见的基本[[推理]]形式。不同于从两个[[直言命题]]得出一个直言命题的[[直言三段论]]，它从一个直言命题得出另一个直言命题，所以被称为是直接的<ref>{{cite book |last=Churchill |first=Robert Paul |title=Logic: An Introduction |url=https://archive.org/details/logicintroductio0000chur |year=1990 |publisher=St. Martin's Press |location=New York |isbn=0-312-02353-7 |oclc=21216829 |edition=2nd |page=[https://archive.org/details/logicintroductio0000chur/page/162 162] |quote=Immediate inference is the assumption, without intervening—or 'mediating'—premises, that because one categorical statement is true (or false), a logically equivalent categorical statement must also be true (or false).}}</ref> 。

在[[传统逻辑]]中，有效的直接推理是'''换质法'''（Obversion）、'''换位法'''（Conversion）、'''对置法'''（Contraposition）和'''反对置法'''（Obverted Contraposition）。

==四种直言命题之间的关系==
{{main|對立四邊形}}
[[File:Square of opposition, set diagrams.svg|right|400px]]
直言命题的四种类型的[[谓词逻辑]]表示：
*全称肯定命题（<tt>A</tt>）：<math>\forall x(S(x) \rightarrow P(x))</math>，'''所有S是P'''。
*全称否定命题（<tt>E</tt>）：<math>\forall x(S(x) \rightarrow \lnot P(x))</math>，所有S不是P。
*特称肯定命题（<tt>I</tt>）：<math>\exists x(S(x) \land P(x))</math>，'''有些S是P'''。
*特称否定命题（<tt>O</tt>）：<math>\exists x(S(x) \land \lnot P(x))</math>，有些S不是P。

全稱肯定命題和特稱否定命題之间以及全稱否定命題和特稱肯定命題之间是矛盾關係：
:<math>\forall x (S(x) \rightarrow P(x)) \land \exists x(S(x) \land \lnot P(x)) \implies \exist x((\lnot P(x)) \land P(x)) \implies \bot</math>。<br /><math>\forall x (S(x) \rightarrow \lnot P(x)) \land \exists x(S(x) \land P(x)) \implies \exist x(P(x) \land \lnot P(x)) \implies \bot</math>。

全稱肯定命題和全稱否定命題二者如果並立，就會在主词对应的范畴确有个体存在之時產生矛盾，它們之間是反對關係：
:<math>\forall x ( S(x) \rightarrow P(x)) \land \forall x(S(x) \rightarrow \lnot P(x)) \implies \forall x ( S(x) \rightarrow (P(x) \land \lnot P(x))) \implies \forall x ( S(x) \rightarrow \bot) </math>，<br /><math>\exists x S(x) \land \forall x ( S(x) \rightarrow \bot) \implies \bot </math>。

从矛盾关系可以直接得出[[全称量词]]和[[存在量词]]之间的[[对偶 (数学)|对偶]]关系：
*全称肯定命题（<tt>A</tt>）：<math>\forall x(S(x) \rightarrow P(x)) \iff \lnot \exists x(S(x) \land \lnot P(x))</math>，没有S不是P。
*全称否定命题（<tt>E</tt>）：<math>\forall x(S(x) \rightarrow \lnot P(x)) \iff \lnot \exists x(S(x) \land P(x))</math>，'''没有S是P'''。
*特称肯定命题（<tt>I</tt>）：<math>\exists x(S(x) \land P(x)) \iff \lnot \forall x(S(x) \rightarrow \lnot P(x))</math>，并非所有S不是P。
*特称否定命题（<tt>O</tt>）：<math>\exists x(S(x) \land \lnot P(x)) \iff \lnot \forall x(S(x) \rightarrow P(x))</math>，'''并非所有S是P'''。
四種直言命題的上述加粗表述，是[[亞里士多德]]《[[解釋篇]]》中採用的表述形式。

===蕴含关系===
全稱命題和特稱命題之间是有条件的蘊涵關係：
*在主词对应的范畴确有个体存在的条件下，全称肯定命题（<tt>A</tt>），蕴涵特稱肯定命题（<tt>I</tt>）：<br /><math>\exists x S(x) \land \forall x ( S(x) \rightarrow P(x)) \implies \exists x (S(x) \land S(x)) \land \forall x ( S(x) \rightarrow P(x)) \implies \exists x(S(x) \land P(x))</math>。
*在主词对应的范畴确有个体存在的条件下，全称否定命题（<tt>E</tt>），蕴涵特稱否定命题（<tt>O</tt>）：<br /><math>\exists x S(x) \land \forall x ( S(x) \rightarrow  \lnot P(x)) \implies \exists x (S(x) \land S(x)) \land \forall x ( S(x) \rightarrow  \lnot P(x)) \implies \exists x(S(x) \land \lnot P(x))</math>。
全称肯定命题蕴涵特稱肯定命题，在[[亞里士多德]]《[[前分析篇]]》中用於建立特定的[[直言三段论|三段論]]形式，即AAI-3和EAO-3。

将蘊涵關係中的特稱命題替代爲其對偶的全稱命題，則全稱命題之間的反對關係體現爲：
*在主词对应的范畴确有个体存在的条件下，如果全称肯定命题（<tt>A</tt>）為真，則全称否定命题（<tt>E</tt>）為假：<br /><math>\exists x S(x) \land \forall x ( S(x) \rightarrow P(x)) \implies \lnot \forall x(S(x) \rightarrow \lnot P(x))</math>。
*在主词对应的范畴确有个体存在的条件下，如果全称否定命题（<tt>E</tt>）為真，則全称肯定命题（<tt>A</tt>）為假：<br /><math>\exists x S(x) \land \forall x ( S(x) \rightarrow \lnot P(x)) \implies \lnot \forall x(S(x) \rightarrow P(x))</math>。

===下反对关系===
將蘊涵關係中的全稱命題替代爲其對偶的特稱命題，还確立了特稱命題之間的下反對關係：
*在主词对应的范畴确有个体存在的条件下，如果特稱否定命題（<tt>O</tt>）為假，則特稱肯定命題（<tt>I</tt>）為真：<br /><math>\exists x S(x) \land \lnot \exists x(S(x) \land \lnot P(x)) \implies \exists x(S(x) \land P(x))</math>。
*在主词对应的范畴确有个体存在的条件下，如果特稱肯定命題（<tt>I</tt>）為假，則特稱否定命題（<tt>O</tt>）為真：<br /><math>\exists x S(x) \land \lnot \exists x(S(x) \land P(x)) \implies \exists x(S(x) \land \lnot P(x))</math>。

===对立四边形===
四种直言命题之间的关系，通常用[[对立四边形]]来表示。
#在主词对应的范畴沒有个体存在之時：<br />特稱肯定命題（<tt>I</tt>）和特稱否定命題（<tt>O</tt>）都爲假，而全稱肯定命题（<tt>A</tt>）和全稱否定命题（<tt>E</tt>）都爲真。<br />蘊涵關係的主詞非空的前提爲假，它與這两个全稱命題的[[合取]]都爲假。
#在主词对应的范畴有<math>\,1\,</math>个个体存在之時：<br />要么特稱肯定命题（<tt>I</tt>）和全稱肯定命题（<tt>A</tt>）都爲真，而特稱否定命題（<tt>O</tt>）和全稱否定命題（<tt>E</tt>）都爲假；<br />要么特稱否定命題（<tt>O</tt>）和全稱否定命題（<tt>E</tt>）都爲真，而特稱肯定命题（<tt>I</tt>）和全稱肯定命题（<tt>A</tt>）都爲假。
#随着这个范畴中个体数量增加，可能保持此前的并立状态，也可能转变并保持为新的并立状态：<br />特稱肯定命題（<tt>I</tt>）和特稱否定命題（<tt>O</tt>）都爲真，而全稱肯定命题（<tt>A</tt>）和全稱否定命题（<tt>E</tt>）都爲假。

==換位法==
换位法对调主词和谓词的位置：
*全称否定命题（<tt>E</tt>）：<math>\forall x(S(x) \rightarrow \lnot P(x)) \iff \forall x(P(x) \rightarrow \lnot S(x))</math>，所有P不是S。
*特称肯定命题（<tt>I</tt>）：<math>\exists x(S(x) \land P(x)) \iff \exists x(P(x) \land S(x))</math>，有些P是S。

==換質法==
换质法否定谓词本身而改变命题的性质，这裡有<math>\lnot A^{\complement} \iff A </math>：
*全称肯定命题（<tt>A</tt>）变为全称否定命题（<tt>E</tt>）：<math>\forall x(S(x) \rightarrow P(x)) \iff \forall x(S(x) \rightarrow \lnot P^\complement(x))</math>，所有S不是非P。
*全称否定命题（<tt>E</tt>）变为全称肯定命题（<tt>A</tt>）：<math>\forall x(S(x) \rightarrow \lnot P(x)) \iff \forall x(S(x) \rightarrow P^\complement(x))</math>，所有S是非P。
*特称肯定命题（<tt>I</tt>）变为特称否定命题（<tt>O</tt>）：<math>\exists x(S(x) \land P(x)) \iff \exists x(S(x) \land \lnot P^\complement(x))</math>，有些S不是非P。
*特称否定命题（<tt>O</tt>）变为特称肯定命题（<tt>I</tt>）：<math>\exists x(S(x) \land \lnot P(x)) \iff \exists x(S(x) \land P^\complement(x))</math>，有些S是非P。

==對置法==
对置法是换质后再换位：
*全称肯定命题（<tt>A</tt>）变为全称否定命题（<tt>E</tt>）：<br /><math>\forall x(S(x) \rightarrow P(x)) \iff \forall x(S(x) \rightarrow \lnot P^\complement(x)) \iff \forall x(P^\complement(x) \rightarrow \lnot S(x))</math>，所有非P不是S。
*特称否定命题（<tt>O</tt>）变为特称肯定命题（<tt>I</tt>）：<br /><math>\exists x(S(x) \land \lnot P(x)) \iff \exists x(S(x) \land P^\complement(x)) \iff \exists x (P^\complement(x) \land S(x))</math>，有些非P是S。

对置全称肯定命题（<tt>A</tt>）和对置特称否定命题（<tt>O</tt>），可以分别是[[直言三段论|三段论]]形式AOO-2和OAO-3的推导中的起始步骤。

==反对置法==
反对置法是对置后再换质：
*全称肯定命题（<tt>A</tt>）变为全称肯定命题（<tt>A</tt>）：<br /><math>\forall x(S(x) \rightarrow P(x)) \iff \forall x(S(x) \rightarrow \lnot P^\complement(x)) \iff \forall x(P^\complement(x) \rightarrow \lnot S(x)) \iff \forall x(P^\complement(x) \rightarrow S^\complement(x))</math>，所有非P是非S。
*特称否定命题（<tt>O</tt>）变为特称否定命题（<tt>O</tt>）：<br /><math>\exists x(S(x) \land \lnot P(x)) \iff \exists x(S(x) \land P^\complement(x)) \iff \exists x (P^\complement(x) \land S(x)) \iff \exists x (P^\complement(x) \land \lnot S^\complement(x))</math>，有些非P不是非S。

==参见==
*[[集合代数]]
*[[直言三段论]]
*[[传统逻辑]]
*[[解释篇]]

==引用==
{{reflist}}

[[Category:推理规则]]