This is a discussion on Existential instantiation question - Theory ; 1.$B"P(Bx(E(x)$B"J"L(BM(x)) Ex(A(x) ^ notM(x)) or there exist something that is not meaningless I wish to Double negate this so i can use use universal instantiation. not not (Ex(A(x) ^ notM(x)) becomes: Vx not(A(x) ^M(x))?...
Existential instantiation question 1.$B"P(Bx(E(x)$B"J"L(BM(x))
Ex(A(x) ^ notM(x))
or there exist something that is not meaningless
I wish to Double negate this so i can use use universal instantiation.
not not (Ex(A(x) ^ notM(x)) becomes:
Vx not(A(x) ^M(x))?
LinkBack URL
About LinkBacks