[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
31(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:58 ID:gQCe02i1(13/80) AAS
誤りといえば、以前、述語論理に関してこんな主張があった
∀ｘＰｘ ならば ∃ｘＰｘ
上記に関して、「そんなこといえない」という反論があった
で、さっそくタブロー法で確かめてみた
∀ｘＰｘ ?前提
✓¬∃ｘＰｘ ?結論の否定
∀ｘ¬Ｐｘ ? ?より
省8
上下前次1-新書関写板覧索設栞歴
あと 971 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.302s*