Inter-universal geometry と ABC 予想 46

Inter-universal geometry と ABC 予想 46at MATH

Inter-universal geometry と ABC 予想 46 - 暇つぶし2ch188:１３２人目の素数さん
20/04/05 07:26:44 XL/AxZYN.net
>>181
A∧B→A∨Bは恒真式だから正しいでしょ
（証明）
・A∧Bが偽の時
「→」の真理値の定め方よりA∧B→A∨Bは真
・A∧Bが真の時
Aは真となりA∨Bも真となる
よってA∧B→A∨Bも真となる
（終わり）

次ページ

続きを表示

1を表示