Inter-universal geometryとABC予想(シン応援スレ) 84

>>529
>A⇒Bを¬AまたはBと解釈する話か。
論理記号 ⇒,¬,∨ の定義から A⇒B と ¬A∨B は同値。
「解釈」は述語論理の用語だから不用意に使わない方が良い。