換質換位律(contraposition, transposition),又稱異質位換律換質位法,是傳統邏輯的一種結構變換推理,一般用於改變條件命題的結構。

  • 換質(obversion)是指將 改為
  • 換位(conversion)是指將 改為
  • 換質換位(contraposition)是指將 改為

直言命題中,換質換位律只能用於全稱肯定型(A型)和特稱否定型(O型),而不能用在全稱否定型(E型)和特稱肯定型(I型);套用在後者是非法的換質換位(illicit contraposition),是一種形式謬誤

形式說明 編輯

條件命題(有效) 編輯

形式
如果P就Q
因此,如果非Q就非P
範例
如果寫過論文就讀過書。
因此,如果沒讀過書就沒寫過論文。

A型(有效) 編輯

形式
S都是P
因此,非P都是非S
範例:
寫過論文的都是讀過書的。
因此,沒讀過書的都是沒寫過論文的。

E型(無效) 編輯

形式
S都不是P
因此,非P都不是非S
範例:
沒讀過書的都不是寫過論文的。
因此,沒寫過論文的都不是讀過書的。

I型(無效) 編輯

形式
有些S是P
因此,有些非P是非S
範例:
有些沒寫過論文的是讀過書的。
因此,有些沒讀過書的是寫過論文的。

O型(有效) 編輯

形式
有些S不是P
因此,有些非P不是非S
範例:
有些讀過書的不是寫過論文的。
因此,有些沒寫過論文的不是沒讀過書的。

相關條目 編輯

外部連結 編輯