Friday, 3 July 2015

Q55,p3,d14. Equivalent logical expression for the Well Formed Formula (WFF), ~(∀x) F[x] is



(A) ∀x(~F[x])
(B) ~(∃x) F[x]
(C) ∃x(~F[x])
(D) ∀xF[x]
Answer C.

When negation is brought before the atom, ∀ is converted to ∃ and vice versa.
Posted by at

No comments:

Post a Comment

Note: only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)