Introduction to Logic

Given ∀x.∀y.∀z.(p(x,y) ∧ p(y,z) ⇒ p(x,z)), ∀x.p(x,a), and ∀y.p(a,y), use Relational Resolution to prove ∀x.∀y.p(x,y).

Show Instructions
Resolution
Goal  Incomplete