Admin (admin) 's status on Tuesday, 02-Mar-10 20:51:59 UTC
-
Forall x.P(x) -> Exists x.P(x) is universal instantiation, but someone claims it to be an "Existential Fallacy". In DL, it is not valid.
Tuesday, 02-Mar-10 20:51:59 UTC from web
Forall x.P(x) -> Exists x.P(x) is universal instantiation, but someone claims it to be an "Existential Fallacy". In DL, it is not valid.