Geeks Quiz

Question

Comments

A and D equivalent

---

any sources?

---

These are just formulas. https://en.wikipedia.org/wiki/First-order_logic
https://www.cs.cornell.edu/courses/cs4700/2011fa/lectures/16_FirstOrderLogic.pdf
You plz read propositional logic once.

---

sure. Thanks a ton.

Answer 1

Options A and D are equivalent since

⌝∀x(P(x)) converts the ∀ to ∃ and the negation moves inside the predicate after that. Hence the expression translates to

∃x(⌝P(x))