>>901
問題文を言い換えると
「a≠a⇒b+b≠2b が真であることを証明せよ」
となる
よってa≠aは真またか偽である
おそらくaは任意の値を表す変数だと思われるので
もしすべてのaで a≠aが真なら
少なくともこの「≠」は
左辺の値と右辺が同値なら 真
そうでないなら 偽
を返す物だとわかる
よってb+bは2bと同値なので
b+b≠2bは真
よって
a≠a⇒b+b≠2b は真 (Q.E.D)