対偶
Contraposition
「PならばQである」という命題に対して、「QでなければPではない」という命題が対偶。
対偶命題は元の命題と同値になる。
$ (P \implies Q) \iff ({\lnot Q} \implies {\lnot P})
関連
否定(論理学)
#論理学