generated at
対偶の除去
\lnot B \to \lnot A \models A \to B
古典命題論理においては成り立つが，これは厳密ではなく，実際には
\lnot B \to \lnot A \models \lnot\lnot A \to \lnot\lnot B
したがって，常には直観主義論理では成り立たない．

#ない言葉

#対偶
#対偶の導入