[過去ログ]
Inter-universal geometry と ABC予想 53 (1002レス)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
335: 132人目の素数さん [] 2020/06/01(月) 10:55:29.54 ID:swPDUDHo もちろん P→Q |- P→Q を言う場合に (1) P→Q (2) ¬(P→Q) (3) P (4) ¬Q (1)の分岐 (5) ¬P × (6) Q × でもよい タブローの最初が必ず否定だとか何言ってんだろ http://rio2016.5ch.net/test/read.cgi/math/1589806470/335
336: 132人目の素数さん [sage] 2020/06/01(月) 10:58:12.99 ID:u89O7EhN >>335 >タブローの最初が必ず否定だとか何言ってんだろ ↓ >P→Q |- P→Q >(2) ¬(P→Q) http://rio2016.5ch.net/test/read.cgi/math/1589806470/336
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s