条件文と連言の否定

「PならばQ」は「PであってQでない、ということはない」と論理的に同値である。

「PならばQ」が偽になるのは、Pが真でQが偽の場合に限られるからである。