間接証明法命題 $p,$ $q$ に対して,「$p$ $\Longrightarrow$ $q$」とその対偶「$\bar q$ $\Longrightarrow$ $\bar p$」は同値である. ここで, $\bar p,$ $\bar q$ はそれぞれ $p,$ $q$ の否定を表す. $p,$ $q$ の真偽に応じて $p \Longrightarrow q,$ および $\bar q,$ $\bar p$ と $\bar q \Longrightarrow \bar p$ の真偽がどうなるかを調べると, 次の表のようになる. ただし, $\mathrm T$ は真, $\mathrm F$ は偽を表す. \[\begin{array}{c|c|c|c|c|c} p & q & p \Longrightarrow q & \bar q & \bar p & \bar q \Longrighta
AccessVBAの基本
