[過去ﾛｸﾞ] 数学を克服して自分がバカではないことを証明したいんだけど (499ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
169: 2021/12/22(水)02:15 ID:QUpEVGxJ(1) AAS
もし対偶が通用する世界だとしたらという前提で
P：ウーロン茶
Q：オレンジ
R：紅茶
S：コーヒー
T：緑茶
とする．このとき
P→Q
R→P
¬S→R∧Q
T→¬S
が与えられている．
結論
¬P→¬T
がいえるか？
まず
¬S→R∧Qについて∧-除去より¬S→Rを導出する．
次に
¬S→R
R→P
より
¬S→P
T→¬S
より
T→P
対偶から¬P→¬T
それゆえ結論がいえる．
こういう論理の話は面白いなｗ
上下前次1-新書関写板覧索設栞歴
あと 330 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s