Inter-universal geometry と ABC予想 53

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

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

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

341(2): 2020/06/01(月)12:11 ID:swPDUDHo(6/11) AAS
>>340
P∨Q：真
とする
このとき
￢(P∨Q)：偽

￢(P∨Q)　|-　P∨Q

を示す
省9

346(1): 2020/06/01(月)14:45 ID:1AEVfaSA(2/6) AAS
訂正
>>341
一行目のP∨Qが真であるという前提と矛盾するので閉じている

370: 2020/06/02(火)00:42 ID:xEujzbd1(2/5) AAS
>>341
>P∨Q：真
>とする
>このとき
>￢(P∨Q)：偽

このことを言ってんのか？
なんだその揚げ足取り
省1