Introduction to Logic

Assume a language with the object constants a and b and no function constants. Given q(a) and q(b), use the Fitch system with domain closure to prove ∀x.(p(x) ⇒ q(x)).

Show Instructions
Herbrand
Objects a, b, c
Functions f, g
Goal  Incomplete