直接推理, 是日常语言和亚里士多德的词项逻辑中常见的基本推理形式, 不同于从两个直言命题得出一个直言命题的直言三段论, 它从一个直言命题得出另一个直言命题, 所以被称为是直接的, 在传统逻辑中主要有换质法, obversion, 换位法, conversion, 和对置法, contraposition, 目录, 對立四邊形, 換位法, 換質法, 對置法, 参见對立四邊形, 编辑主条目, 對立四邊形, nbsp, 直言命题的四种类型的谓词逻辑表示, 全称肯定命题, displaystyle, forall, rig. 直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式 不同于从两个直言命题得出一个直言命题的直言三段论 它从一个直言命题得出另一个直言命题 所以被称为是直接的 在传统逻辑中主要有换质法 Obversion 换位法 Conversion 和对置法 Contraposition 目录 1 對立四邊形 2 換位法 3 換質法 4 對置法 5 参见對立四邊形 编辑主条目 對立四邊形 nbsp 直言命题的四种类型的谓词逻辑表示 全称肯定命题 A x S x P x displaystyle forall x S x rightarrow P x nbsp 所有S都是P 全称否定命题 E x S x P x displaystyle forall x S x rightarrow lnot P x nbsp 所有S都不是P 特称肯定命题 I x S x P x displaystyle exists x S x land P x nbsp 有些S是P 特称否定命题 O x S x P x displaystyle exists x S x land lnot P x nbsp 有些S不是P依据全称量词和存在量词之间的对偶关系 对立四边形中矛盾关系 可以直接得出 全称肯定命题 A x S x P x displaystyle lnot exists x S x land lnot P x nbsp 没有S不是P 全称否定命题 E x S x P x displaystyle lnot exists x S x land P x nbsp 没有S是P 特称肯定命题 I x S x P x displaystyle lnot forall x S x rightarrow lnot P x nbsp 并非所有S都不是P 特称否定命题 O x S x P x displaystyle lnot forall x S x rightarrow P x nbsp 并非所有S都是P上面加粗表述是亞里士多德 解釋篇 中採用的形式 假定了主词对应的范畴确有个体存在之后可得出蘊涵關係 又譯差等關係 全称肯定命题 A 蕴涵了特稱肯定命题 I x S x x S x P x x S x P x displaystyle exists xS x land forall x S x rightarrow P x Rightarrow exists x S x land P x nbsp 全称否定命题 E 蕴涵了特稱否定命题 O x S x x S x P x x S x P x displaystyle exists xS x land forall x S x rightarrow lnot P x Rightarrow exists x S x land lnot P x nbsp 在蘊涵關係和對偶關係之上可確立全稱命題間不同真關係 又譯反對關係 全称肯定命题 A 為真則全称否定命题 E 為假 x S x x S x P x x S x P x displaystyle exists xS x land forall x S x rightarrow P x Rightarrow lnot forall x S x rightarrow lnot P x nbsp 全称否定命题 E 為真則全称肯定命题 A 為假 x S x x S x P x x S x P x displaystyle exists xS x land forall x S x rightarrow lnot P x Rightarrow lnot forall x S x rightarrow P x nbsp 和特稱命題之間的不同假關係 又譯下反對關係 特稱肯定命題 I 為假則特稱否定命題 O 為真 x S x x S x P x x S x P x displaystyle exists xS x land lnot exists x S x land P x Rightarrow exists x S x land lnot P x nbsp 特稱否定命題 O 為假則特稱肯定命題 I 為真 x S x x S x P x x S x P x displaystyle exists xS x land lnot exists x S x land lnot P x Rightarrow exists x S x land P x nbsp 換位法 编辑换位法对调主词和谓词的位置 采用谓词逻辑就没有了传统的主词谓词差别 全称肯定命题 A 蕴涵特称肯定命题 I x S x x S x P x x P x S x displaystyle exists xS x land forall x S x rightarrow P x Rightarrow exists x P x land S x nbsp 有些P是S 假定了某个S的存在 全称否定命题 E x P x S x displaystyle forall x P x rightarrow lnot S x nbsp 所有P都不是S 特称肯定命题 I x P x S x displaystyle exists x P x land S x nbsp 有些P是S換質法 编辑换质法否定谓词本身而改变命题的性质 这裡有A C C A displaystyle A CC A nbsp 全称肯定命题 A 变为全称否定命题 E x S x P C x displaystyle forall x S x rightarrow lnot P C x nbsp 所有S都不是非P 全称否定命题 E 变为全称肯定命题 A x S x P C x displaystyle forall x S x rightarrow P C x nbsp 所有S都是非P 特称肯定命题 I 变为特称否定命题 O x S x P C x displaystyle exists x S x land lnot P C x nbsp 有些S不是非P 特称否定命题 O 变为特称肯定命题 I x S x P C x displaystyle exists x S x land P C x nbsp 有些S是非P對置法 编辑对置法是换质后换位 全称肯定命题 A 变为全称否定命题 E x P C x S x displaystyle forall x P C x rightarrow lnot S x nbsp 所有非P都不是S 全称否定命题 E 蕴涵特称肯定命题 I x S x x S x P C x x P C x S x displaystyle exists xS x land forall x S x rightarrow P C x Rightarrow exists x P C x land S x nbsp 有些非P是S 假定了某个S的存在 特称否定命题 O 变为特称肯定命题 I x P C x S x displaystyle exists x P C x land S x nbsp 有些非P是S特称肯定命题 I 变为特称否定命题 O 後不能換位 对置后再换质叫反对置法 Obverted Contraposition 全称肯定命题 A 变为全称肯定命题 A x P C x S C x displaystyle forall x P C x rightarrow S C x nbsp 所有非P都是非S 全称否定命题 E 蕴涵特称否定命题 O x S x x S x P C x x P C x S C x displaystyle exists xS x land forall x S x rightarrow P C x Rightarrow exists x P C x land lnot S C x nbsp 有些非P不是非S 假定了某个S的存在 特称否定命题 O 变为特称否定命题 O x P C x S C x displaystyle exists x P C x land lnot S C x nbsp 有些非P不是非S参见 编辑集合代数 直言三段论 传统逻辑 解释篇 取自 https zh wikipedia org w index php title 直接推理 amp oldid 57898306, 维基百科,wiki,书籍,书籍,图书馆,