換質換位律：修订间差异 - 求闻百科，共笔求闻

（未显示另一用户的1个中间版本）

下文是求闻百科的历史内容，而非最新内容，不代表求闻百科的立场。
若历史内容含有不良信息，请点此报告；参见投诉举报处理方针。

第1行：

'''~~换质换~~位律'''（contraposition, transposition），又称'''异质位换律'''、'''换质位法'''，是古典邏辑的一~~种结构变换~~推理，一般用于改变[[条件命题]]的结构。

'''換質換位律'''（contraposition, transposition），又稱'''異質位換律'''、'''換質位法'''，是古典邏輯的一種結構變換推理，一般用於改變[[條件命題]]的結構。

* '''换质（inversion）'''是指将 <math>P \to Q</math> 改为 <math>\neg P \to \neg Q</math>

* '''換質（inversion）'''是指將 <math>P \to Q</math> 改為 <math>\neg P \to \neg Q</math>

* '''换位（conversion）'''是指将 <math>P \to Q</math> 改为 <math>Q \to P</math>

* '''換位（conversion）'''是指將 <math>P \to Q</math> 改為 <math>Q \to P</math>

* '''~~换质换~~位（contraposition）'''是指将 <math>P \to Q</math> 改为 <math>\neg Q \to \neg P</math>

* '''換質換位（contraposition）'''是指將 <math>P \to Q</math> 改為 <math>\neg Q \to \neg P</math>

在[[直言命题]]中，~~换质换~~位律只能用于全称肯定型（A型）和特称否定型（O型），而不能用在全称否定型（E型）和特称肯定型（I型）；套用在后者是'''非法的~~换质换~~位'''（illicit contraposition），是一种[[形式謬误]]。

在[[直言命題]]中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是'''非法的換質換位'''（illicit contraposition），是一種[[形式謬誤]]。

== 形式说明 ==

== 形式說明 ==

=== 条件命题（有效） ===

=== 條件命題（有效） ===

;形式

:如果P就Q

:因此，如果非Q就非P

;范例

;範例

:如果~~写过论~~文就~~读过书~~。

:如果寫過論文就讀過書。

:因此，如果沒~~读过书~~就沒~~写过论~~文。

:因此，如果沒讀過書就沒寫過論文。

=== A型（有效） ===

第22行：

:因此，非P都是非S

;范例：

;範例：

:~~写过论~~文的都是~~读过书~~的。

:寫過論文的都是讀過書的。

:因此，沒~~读过书~~的都是沒~~写过论~~文的。

:因此，沒讀過書的都是沒寫過論文的。

=== E型（无效） ===

=== E型（無效） ===

;形式

:S都不是P

:因此，非P都不是非S

;范例：

;範例：

:沒~~读过书~~的都不是~~写过论~~文的。

:沒讀過書的都不是寫過論文的。

:因此，沒~~写过论~~文的都不是~~读过书~~的。

:因此，沒寫過論文的都不是讀過書的。

=== I型（无效） ===

=== I型（無效） ===

;形式

:有些S是P

:因此，有些非P是非S

;范例：

;範例：

:有些沒~~写过论~~文的是~~读过书~~的。

:有些沒寫過論文的是讀過書的。

:因此，有些沒~~读过书~~的是~~写过论~~文的。

:因此，有些沒讀過書的是寫過論文的。

=== O型（有效） ===

第49行：

:因此，有些非P不是非S

;范例：

;範例：

:有些~~读过书~~的不是~~写过论~~文的。

:有些讀過書的不是寫過論文的。

:因此，有些沒~~写过论~~文的不是沒~~读过书~~的。

:因此，有些沒寫過論文的不是沒讀過書的。

== 外部链接 ==

== 外部連結 ==

* {{en}} [http://www.fallacyfiles.org/ilcontra.html Logical Fallacy: Illicit Contraposition]

[[Category:謬误]]

[[Category:谬误]]

[[Category:量化词邏辑謬误]]

[[Category:量化詞邏輯謬誤]]

@@ 第1行： / 第1行： @@
-'''换质换位律'''（contraposition, transposition），又称'''异质位换律'''、'''换质位法'''，是古典邏辑的一种结构变换推理，一般用于改变[[条件命题]]的结构。
+'''換質換位律'''（contraposition, transposition），又稱'''異質位換律'''、'''換質位法'''，是古典邏輯的一種結構變換推理，一般用於改變[[條件命題]]的結構。
-* '''换质（inversion）'''是指将 <math>P \to Q</math> 改为 <math>\neg P \to \neg Q</math>
+* '''換質（inversion）'''是指將 <math>P \to Q</math> 改為 <math>\neg P \to \neg Q</math>
-* '''换位（conversion）'''是指将 <math>P \to Q</math> 改为 <math>Q \to P</math>
+* '''換位（conversion）'''是指將 <math>P \to Q</math> 改為 <math>Q \to P</math>
-* '''换质换位（contraposition）'''是指将 <math>P \to Q</math> 改为 <math>\neg Q \to \neg P</math>
+* '''換質換位（contraposition）'''是指將 <math>P \to Q</math> 改為 <math>\neg Q \to \neg P</math>
-在[[直言命题]]中，换质换位律只能用于全称肯定型（A型）和特称否定型（O型），而不能用在全称否定型（E型）和特称肯定型（I型）；套用在后者是'''非法的换质换位'''（illicit contraposition），是一种[[形式謬误]]。
+在[[直言命題]]中，換質換位律只能用於全稱肯定型（A型）和特稱否定型（O型），而不能用在全稱否定型（E型）和特稱肯定型（I型）；套用在後者是'''非法的換質換位'''（illicit contraposition），是一種[[形式謬誤]]。
-== 形式说明 ==
+== 形式說明 ==
-=== 条件命题（有效） ===
+=== 條件命題（有效） ===
 ;形式
 :如果P就Q
 :因此，如果非Q就非P
-;范例
+;範例
-:如果写过论文就读过书。
+:如果寫過論文就讀過書。
-:因此，如果沒读过书就沒写过论文。
+:因此，如果沒讀過書就沒寫過論文。
 === A型（有效） ===
@@ 第22行： / 第22行： @@
 :因此，非P都是非S
-;范例：
+;範例：
-:写过论文的都是读过书的。
+:寫過論文的都是讀過書的。
-:因此，沒读过书的都是沒写过论文的。
+:因此，沒讀過書的都是沒寫過論文的。
-=== E型（无效） ===
+=== E型（無效） ===
 ;形式
 :S都不是P
 :因此，非P都不是非S
-;范例：
+;範例：
-:沒读过书的都不是写过论文的。
+:沒讀過書的都不是寫過論文的。
-:因此，沒写过论文的都不是读过书的。
+:因此，沒寫過論文的都不是讀過書的。
-=== I型（无效） ===
+=== I型（無效） ===
 ;形式
 :有些S是P
 :因此，有些非P是非S
-;范例：
+;範例：
-:有些沒写过论文的是读过书的。
+:有些沒寫過論文的是讀過書的。
-:因此，有些沒读过书的是写过论文的。
+:因此，有些沒讀過書的是寫過論文的。
 === O型（有效） ===
@@ 第49行： / 第49行： @@
 :因此，有些非P不是非S
-;范例：
+;範例：
-:有些读过书的不是写过论文的。
+:有些讀過書的不是寫過論文的。
-:因此，有些沒写过论文的不是沒读过书的。
+:因此，有些沒寫過論文的不是沒讀過書的。
-== 外部链接 ==
+== 外部連結 ==
 * {{en}} [http://www.fallacyfiles.org/ilcontra.html Logical Fallacy: Illicit Contraposition]
 {{批判性思考}}
-[[Category:謬误]]
+[[Category:谬误]]
-[[Category:量化词邏辑謬误]]
+[[Category:量化詞邏輯謬誤]]