Introduction to Logic

Given p(a) and ∀x.(p(x) ⇒ q(x) ∨ r(x)), use Answer Extraction to find a τ such that (q(τ) ∨ r(τ)) is true. Note that you will have to add the goal clauses as premises, since the Goal button does not add goal literals to goals.

Show Instructions
Resolution
Goal  Incomplete