Homework on §7.6—assigned Fri 11/11 and due Mon 11/14

Use derivations to show:

∀x (∀y: Py ∧ ¬ Fy) ¬ Nxy ⇒ ∀y (∀x: Px) (Nyx → Fx)

[If it helps to have an English meaning for the symbols, you can think of the following: Only famous people have anything named for them ⇒ If anything is named for anyone, then he or she is famous]