対偶,裏,逆

「$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)といいます.

Vita brevis, ars longa. Omnia vincit Amor.





















確率測度の拡張 量化子 Big-O記法 基本演算子 受理状態 チューリングマシン