1. Other
  2. Other
  3. 6 prove that the following formula is contingent vr vy...

Question: 6 prove that the following formula is contingent vr vy...

Question details

6. Prove that the following formula is contingent Vr Vy (p(x, y) -+ply, x)) /. I rove that the followin g forunln% 11 and K, an cquivalení Fi:-Bx (p(x) A By 9() Ar(x, y))) F: Vz (p(z) → (Vy (q(y) → r(x, y)))) Clearly label each equivalence used in your proof.

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution