Inter-universal geometry と ABC予想 否定派at MATH
Inter-universal geometry と ABC予想 否定派
- 暇つぶし2ch182:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:40:41 gQCe02i1.net
>>176
∀x(Fx→Gx) の特称化は
∃x(Fx→Gx) であって
∃x(Fx∧Gx) ではない
∃x(Fx→Gx) と ∃x(Fx∧Gx) は異なる
∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
∀x(Fx→Gx)から∃x(Fx∧Gx)は導けない
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch