p ⇒ q ≡ ¬p ∨ q.

　この同値関係が当初わからなかったので、丸暗記していました （苦笑）。数学基礎論・記号論理学の書物を数々読み進めるつれて、この同値な論理式のあいだには、もう一つ論理式を入れてみれば わかることに気づきました──

　　　　p ⇒ q ≡ ¬（p ∧ ¬q） ≡ ¬p ∨ q.

　この同値関係のなかで、論理式 p ⇒ q ≡ ¬（p ∧ ¬q）は記号論理学では仮言命題の同値関係として扱われることが多くて、論理式 p ⇒ q ≡ ¬p ∨ q は数学基礎論で 「双対」 のなかで扱われることが多いようです。

　論理式 p ⇒ q ≡ ¬（p ∧ ¬q） は、次のように考えれば わかりやすいでしょう （ただし、二重否定を前提にしていることに注意されたい [ ¬¬q ＝ q ]）──

　　　　p ⇒ q　天気が良ければ、野球をする。

　　　　¬（p ∧ ¬q）　天気が良ければ、野球をしないことはない。

　ド・モルガンの法則を適用して、

　　　　¬（p ∧ ¬q） ≡ ¬p ∨ q.

　
　そして、もう一つ とても大事な仮言命題の同値関係を次に考えてみます──

　　　　p ⇒ q ≡ ¬q ⇒ ¬p.

　この論理式 ¬q ⇒ ¬p は、論証では大事な仮言命題であって、「対偶 (contraposition)」 という特有な名称を付与されています。私が モデル 技術 TM を作る際に根拠にしていた二人──ウィトゲンシュタイン氏 （哲学者） と ゲーデル氏 （数学者）──も たびたび 「対偶」 を使っています。p ⇒ q ≡ ¬q ⇒ ¬p の同値関係が成り立つ理由は、f (p, q) ≡ p ⇒ q とすれば、次のように考えればいいでしょう──

　　　　1. p と q を入れ替える [ f (q, p). }
　　　　　f (q, p) を f (p, q) の 「逆 （converse）」 と云います。

　　　　2. p と q を それぞれ ¬p と ¬q で置き換える [ f (¬p, ¬q). ]
　　　　　f (¬p, ¬q) を f (p, q) の 「裏 （reverse）」 と云います。

　　　　3. 「逆」 と 「裏」 を同時にやれば、f (¬q, ¬p) は ¬q ⇒ ¬p となる。

　ちなみに、p ⇒ q と ¬q ⇒ ¬p の それぞれの真理値表を作成してみれば同値になる （拙著 「論理 データベース 論考」 55ページ）。p ⇒ q のことを 「前件肯定式」 と云い、¬q ⇒ ¬p を 「後件否定式」 と云います。仮言命題では、「前件肯定式」 と 「後件否定式」 の ふたつが妥当な論理式です。