対偶,裏,逆

「$P$ ならば $Q$ である」，つまり，\[P \to Q\]という論理式（well-formed formula,wff）に対して，

「$Q$ ならば $P$ である」，つまり，\[Q \to P\]という論理式を「逆」といいます．

また，「$P$ でなければ $Q$ でない」，つまり，\[\lnot P \to \lnot Q\]という論理式を，「裏」といいます．

さらに，「$Q$ でなければ $P$ でない」，つまり，\[\lnot Q \to \lnot P\]という論理式を，対偶（Contraposition）といいます．

Mathematics is the language with which God has written the universe.