可愛いは正義の論理的考察


可愛い → 正義

→ は「含意」を表す。
  A → B ⇔ ( ¬A ) ∨ B
A を「可愛い」、B を「正義」とすると、
  (¬可愛い) ∨ (正義)
すなわち「可愛くないか、または正義」と等値である。

Q. ブスは正義じゃないの?
A. 可愛くなければ → 正義ではない、は成り立たない。裏は真ならず。
  可愛くなくても正義である場合があり得る。

Q. じゃあ、正義は可愛いの?
A. 正義は → 可愛い、は成り立たない。逆は真ならず。
  正義であっても可愛くないものが存在し得る。

Q. 結局なんなの?
A. 正義で無いならば → 可愛くは無い。対偶は真。
   つまり、
 『悪は醜い。』
 ここでは、
   悪  := ¬正義
   醜い := ¬可愛い
 と定義した。

むしろ「悪は醜い」を前提として受け容れるなら、その対偶である「可愛いは正義」が帰結される。