[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

330(2): 2020/06/01(月)09:51 ID:swPDUDHo(1/11) AAS
タブロー法だと

(1)　P→Q
　　　(1)の分岐
(2)　¬P
(3)　Q

という形式を持つだけだけどな
それだからPから何でも導出できるわけではない
省1

---

332(1): 2020/06/01(月)10:09 ID:u89O7EhN(2/6) AAS
>>330
タブロー法の場合、結論の否定から始める筈

この場合　P∧¬Q

で、Pのみから矛盾が導ければ、Qはなんでもいい

---

345(1): 2020/06/01(月)14:42 ID:1AEVfaSA(1/6) AAS
>>323
∀x(¬p(x)→¬q(x))↔∀x(q(x)→p(x))↔∀x((x=2∨x=-2)→x=2)
→{(-2=2∨-2=-2)→-2=2}↔-2=2より偽

>>333
一行目のP∨Qが真であるという前提と矛盾するので閉じている

>>339
同じだよ
省2

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.045s