可愛いは正義の論理的考察
可愛い → 正義
→ は「含意」を表す。
A → B ⇔ ( ¬A ) ∨ B
A を「可愛い」、B を「正義」とすると、
(¬可愛い) ∨ (正義)
すなわち「可愛くないか、または正義」と等値である。
Q. ブスは正義じゃないの?
A. 可愛くなければ → 正義ではない、は成り立たない。裏は真ならず。
可愛くなくても正義である場合があり得る。
Q. じゃあ、正義は可愛いの?
A. 正義は → 可愛い、は成り立たない。逆は真ならず。
正義であっても可愛くないものが存在し得る。
Q. 結局なんなの?
A. 正義で無いならば → 可愛くは無い。対偶は真。
つまり、
『悪は醜い。』
ここでは、
悪 := ¬正義
醜い := ¬可愛い
と定義した。
むしろ「悪は醜い」を前提として受け容れるなら、その対偶である「可愛いは正義」が帰結される。