トートロジー３種

　次の３つの論理式はトートロジー（＝恒真式＝絶対に正しいこと）である。

---

◇　（Ｐ∧¬Ｐ）⇒ Ｑ

Ｐ	Ｑ	¬Ｐ	Ｐ∧¬Ｐ	（Ｐ∧¬Ｐ）⇒ Ｑ
１	１	０	０	１
１	０	０	０	１
０	１	１	０	１
０	０	１	０	１

この式「（Ｐ∧¬Ｐ）⇒ Ｑ 」の意味するところは、
「矛盾を仮定すれば、好き放題何でも言える」ということ。
名付けて、言いたい放題の論理式。

（例）オレが男であり かつ 女である（＝男でない）ならば、火星人はいる。

---

◇　Ｑ ⇒（Ｐ⇒Ｑ）

Ｐ	Ｑ	Ｐ⇒Ｑ	Ｑ ⇒（Ｐ⇒Ｑ）
１	１	1	１
１	０	０	１
０	１	１	１
０	０	１	１

この式「 Ｑ ⇒（Ｐ⇒Ｑ）」の意味するところは、
「正しいことに、どんな理由付けをしてもよい」ということ。
名付けて、勝手に理由づけ論法。

（例）なぜ「１＋１＝２」（←真）かと言うと、 その訳は「オレが天才だから」なんだよ。

---

◇　¬Ｐ ⇒（Ｐ⇒Ｑ）

Ｐ	Ｑ	¬Ｐ	Ｐ⇒Ｑ	¬Ｐ ⇒（Ｐ⇒Ｑ）
１	１	０	１	１
１	０	０	０	１
０	１	１	１	１
０	０	１	１	１

この式「 ¬Ｐ ⇒（Ｐ⇒Ｑ）」の意味するところは、
「事実に反することから、何を導いてもよい」ということ。
名付けて、夢見る論理式。

（例）オレが女（←偽）ならば、（オレは男だから←真）世界はオレのものだ。