[過去ﾛｸﾞ] 数学を克服して自分がバカではないことを証明したいんだけど (499ﾚｽ)
上下前次1-新

---

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

---

169: 2021/12/22(水)02:15 ID:QUpEVGxJ(1) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
169: [sage] 2021/12/22(水) 02:15:52.43 ID:QUpEVGxJ もし対偶が通用する世界だとしたらという前提で 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 それゆえ結論がいえる． こういう論理の話は面白いなｗ http://rio2016.5ch.net/test/read.cgi/math/1639307872/169
もし対偶が通用する世界だとしたらという前提で ウーロン茶 オレンジ 紅茶 コーヒー 緑茶 とするこのとき が与えられている 結論 がいえるか？ まず について除去よりを導出する 次に より より 対偶から それゆえ結論がいえる こういう論理の話は面白いな

---

上下前次1-新書関写板覧索設栞歴

---

あと 330 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.017s