Inter-universal geometry と ABC予想 53

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

328: 2020/06/01(月)08:00 ID:u89O7EhN(1/6) AAS
>>324
何をどう比較してそういうんだろうな？

そこだけが興味がある

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

この場合　P∧￢Q

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

334(3): 2020/06/01(月)10:54 ID:u89O7EhN(3/6) AAS
>>333

P,￢P |- Q

これでやってみて

Qがどんな式でもタブローが閉じるから

336(1): 2020/06/01(月)10:58 ID:u89O7EhN(4/6) AAS
>>335
＞タブローの最初が必ず否定だとか何言ってんだろ

↓

＞P→Q |-　P→Q
＞(2)　￢(P→Q)

338(1): 2020/06/01(月)11:19 ID:u89O7EhN(5/6) AAS
>>337

>>334をタブロー法で証明してごらん

そうすれば「偽の仮定からは全て真が導かれる」という言葉で
何をいいたかったのかが、あなたにも分からざるを得なくなる筈だから

340(1): 2020/06/01(月)11:48 ID:u89O7EhN(6/6) AAS
>>339
＞恒偽命題の仮定と偽の仮定は違うと思うよ

では恒偽命題でない偽（の命題）の例を具体的に一つ挙げてみてくれ

いかに苦しい言い訳をしてるか、あなたにも分からざるを得なくなる筈だから