Inter-universal geometry と ABC予想否定派

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を表示