Suppose that p(x, y) is n open statement where the universe for each of x, y consists

Question:

Suppose that p(x, y) is ∧n open statement where the universe for each of x, y consists of only three integers: 2, 3, 5. Then the quantified statement ∃y p(2, y) is logically equivalent to p(2, 2) ∨ p(2, 3) ∨ p(2, 5). The quantified statement ∃x ∀y p(x, y) is logically equivalent to [p(2, 2) ∧ p(2, 3) ∧ P(2, 5)] ∨ [p(3, 2) ∧ p(3, 3) ∧ p(3, 5)] ∨ [p(5, 2) ∧ p(5, 3) ∧ p(5, 5)]. Use conjunctions and/or disjunctions to express the following statements without quantifiers.
(a) ∀x p(x, 3)
(b) ∃x ∃y p(x, y)
(c) ∀y 3x p(x, y)
Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Question Posted: