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)