contestada

Complete the following derivation:

n. ( ( ∀ x ) ( ∀ y ) ( P ( x ) → R ( x , y ) ) → ( ∀ x ) ( P ( x ) → ( ∀ y ) R ( x , y ) ) ) Goal

Complete the following derivation n x y P x R x y x P x y R x y Goal class=