Inter-universal geometry と ABC 予想 46

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

182(1): 2020/04/05(日)07:26 ID:XL/AxZYN(5/7) AAS
>>181
A∧B→A∨Bは恒真式だから正しいでしょ
（証明）
・A∧Bが偽の時
「→」の真理値の定め方よりA∧B→A∨Bは真
・A∧Bが真の時
Aは真となりA∨Bも真となる
省2