Homework on §6.4—assigned Mon Wed 10/27 and due Mon 11/1

Use derivations to show invalid and present a counterexample to an open gap (you may use either tables or diagrams to present the counterexample):

Rab → G(fa), fa = fb, Raa ∧ Rac ⊨ b = c → Gb