「1≠2かつ1=2ならば、P≠NPが証明できる」みたいな話*1。 「矛盾（A∧￢A）からは何でも導ける（A∧￢A⇒B）」「あれ、A∧￢A⇔Fだから、F⇒Bとなって、F⇒B全体は真だけど、Bが真とは限らないのでは？」みたいな話になって混乱したのでメモ。 まとめ Aより、A∨Bは真…