[過去ログ] Inter-universal geometry と ABC予想 53 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
346
(1): 2020/06/01(月)14:45 ID:1AEVfaSA(2/6) AAS
訂正
>>341
一行目のP∨Qが真であるという前提と矛盾するので閉じている
358
(1): 2020/06/01(月)21:27 ID:swPDUDHo(7/11) AAS
>>346
いや(P∨W)
それだと恒偽命題P∧¬Pと同じだから意味がない
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.045s