GATE 2009
March 14, 2025GATE 2009
March 14, 2025GATE 2009
| Question 26 |
Consider the following well-formed formulae:
- I. ¬∀x(P(x))
II. ¬∃(P(x))
III. ¬∃(¬P(x))
IV. ∃x(¬(P(x))
Which of the above are equivalent?
| I and III | |
| I and IV | |
| II and III | |
| II and IV |
Question 26 Explanation:
I) ¬∀x(P(x)) = ∃x(¬P(x)) [Demorgan’s Law]
II ) ¬∃x(P(x))= ∀x(~P(x))
III) ¬∃x(¬P(x)) = ∀x(P(x))
II ) ¬∃x(P(x))= ∀x(~P(x))
III) ¬∃x(¬P(x)) = ∀x(P(x))
Correct Answer: B
Question 26 Explanation:
I) ¬∀x(P(x)) = ∃x(¬P(x)) [Demorgan’s Law]
II ) ¬∃x(P(x))= ∀x(~P(x))
III) ¬∃x(¬P(x)) = ∀x(P(x))
II ) ¬∃x(P(x))= ∀x(~P(x))
III) ¬∃x(¬P(x)) = ∀x(P(x))
Subscribe
Login
0 Comments