查看“︁換質換位律”︁的源代码

{{关于|[[传统逻辑]]里面的定律|数学逻辑的 "contrapositive"|逆否命题}}

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

* '''換質（obversion）'''是指將 <math>P \to Q</math> 改為 <math>\neg P \to \neg Q</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>

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

== 形式說明 ==
=== 條件命題（有效） ===
;形式
{{exampleH}}
:如果P就Q
:因此，如果非Q就非P
{{exampleF}}

;範例
{{exampleH}}
:如果寫過論文就讀過書。
:因此，如果沒讀過書就沒寫過論文。
{{exampleF}}

=== A型（有效） ===
;形式
{{exampleH}}
:S都是P
:因此，非P都是非S
{{exampleF}}

;範例：
{{exampleH}}
:寫過論文的都是讀過書的。
:因此，沒讀過書的都是沒寫過論文的。
{{exampleF}}

=== E型（無效） ===
;形式
{{exampleH}}
:S都不是P
:因此，非P都不是非S
{{exampleF}}

;範例：
{{exampleH}}
:沒讀過書的都不是寫過論文的。
:因此，沒寫過論文的都不是讀過書的。
{{exampleF}}

=== I型（無效） ===
;形式
{{exampleH}}
:有些S是P
:因此，有些非P是非S
{{exampleF}}

;範例：
{{exampleH}}
:有些沒寫過論文的是讀過書的。
:因此，有些沒讀過書的是寫過論文的。
{{exampleF}}

=== O型（有效） ===
;形式
{{exampleH}}
:有些S不是P
:因此，有些非P不是非S
{{exampleF}}

;範例：
{{exampleH}}
:有些讀過書的不是寫過論文的。
:因此，有些沒寫過論文的不是沒讀過書的。
{{exampleF}}

== 相關條目 ==
* [[非法换位]]

== 外部連結 ==
* {{en}} [https://fallacyfiles.org/ilcontra.html Logical Fallacy: Illicit Contraposition] {{Wayback|url=https://fallacyfiles.org/ilcontra.html |date=20201111192613 }}

{{批判性思考}}

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