[過去ログ]
Inter-universal geometry と ABC予想 53 (1002レス)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
371: 132人目の素数さん [] 2020/06/02(火) 00:45:11.11 ID:xEujzbd1 P∨Q:真 ¬(P∨Q):偽 ーーーーーーーーー ここまでが日常語 ここからがタブロー語 ¬(P∨Q) |- P∨Q を示す (1) ¬(¬(P∨Q)→(P∨Q)) いきなりP∨Qだと意味がわからないかも知れないと思って 真と偽を明示したまで 揚げ足取りにもなってないよ 脊髄反射の無能くん http://rio2016.5ch.net/test/read.cgi/math/1589806470/371
373: 132人目の素数さん [] 2020/06/02(火) 01:49:31.97 ID:Ox5DlzXT >>371 その日常語で述べられている主張が矛盾を起こすのだから、 それの記号化をしないなら、矛盾が出ないのは当然だという、 指摘されたその欠陥を得意げに見せつけられても困る >>372 それは>>345の最後の文の続きで>>334と同じになることの説明の補足だが 何かおかしい所があったのであれば説明してくれ 続きは安達スレで http://rio2016.5ch.net/test/read.cgi/math/1589806470/373
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s