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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
372
(1): 2020/06/02(火)00:49 ID:xEujzbd1(4/5) AAS
それから>>347
こんなことを書いているけど何も関係がないね
恒偽命題の仮定とそうではない偽の仮定の話をしているのに
一例に過ぎない

>¬P→(P→Q)と¬P∧P→Qが同値

こんなことを書かれても( ´,_ゝ`)プッ
としか言えないわ
省1
373
(1): 2020/06/02(火)01:49 ID:Ox5DlzXT(2/2) AAS
>>371
その日常語で述べられている主張が矛盾を起こすのだから、
それの記号化をしないなら、矛盾が出ないのは当然だという、
指摘されたその欠陥を得意げに見せつけられても困る

>>372
それは>>345の最後の文の続きで>>334と同じになることの説明の補足だが
何かおかしい所があったのであれば説明してくれ
省1
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.603s*