Question 3714 – UGC NET CS 2015 Dec- paper-2
March 14, 2024Question 10830 – APPSC-2016-DL-CS
March 14, 2024APPSC-2016-DL-CS
| Question 2 |
In first order predicate logic, ∼∀x P(x) is equivalent to
Options:
| ∼∃x P(x) | |
| ∃x ∼P(x) | |
| ∀x ∼P(x) | |
| the given expression is not a well formed |
Question 2 Explanation:
∼∀x P(x) = ∃x ∼P(x)
Correct Answer: B
Question 2 Explanation:
∼∀x P(x) = ∃x ∼P(x)