Inter-universal geometry と ABC予想 53

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

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

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

335(1): 2020/06/01(月)10:55 ID:swPDUDHo(3/11) AAS
もちろん
P→Q |-　P→Q
を言う場合に

(1)　P→Q
(2)　￢(P→Q)
(3)　P
(4)　￢Q
省7

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

↓

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