Question

Question 7 (10%) Use equivalences to construct a prenex normal form for the following wff. Show your work. Write down the number of the equivalence used at each step.

∀ x ∀ y ( ∃ z ( p ( x, z ) ∧ p ( z, y )) → g ( x, y ))

Answer 1