Existential instantiation question
- From: chan <chalong08@xxxxxxxxx>
- Date: Thu, 1 May 2008 16:12:44 -0700 (PDT)
1.∃x(E(x)∧¬M(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))?
.
- Prev by Date: Re: understanding induction problems
- Next by Date: Re: CYK & Context-Free Expressions
- Previous by thread: Symposium “Image Processing and Analysis” within the ICCES'09 Thailand - Announce & Call for Papers
- Next by thread: Re: CYK & Context-Free Expressions
- Index(es):
