Suppose that p(x, y) is an 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, 2) ˅ 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 ∃x p(x, y)
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.