How to convert sentence with Existential quantification into sentence without quantifiers given domain D={3,4} ?
I found the solution for ∃Zq(Z) => q(1) U q(2)
I also found the solution but not sure whether it is correct or wrong for:
∃X∀Yp(X,Y)≡(∀Yp(3,Y))∨(∀Yp(4,Y))
≡(p(3,3)∧p(3,4))∨(p(4,3))∧p(4,4))
Is the above computation correct?
Also I am stuck when it comes to conversion of binary predicate: ∀X∃Y p(X, Y )