Homework on §7.5—assigned Wed 11/10 and due Fri 11/12

Use derivations to show:

∀x (Rxx → ¬ Gx), ∀x (¬ ∀y Rxy → ¬ Fx) ⊨ ∀x (Fx → ¬ Gx)

Analyze and restate using unrestricted quantifiers:

No one reported any bug that was not known