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

(i) Use derivations to show:

(∀x: Hx) (∀y: Iy) Kxy, (∀x: Sx) Hx ⇒ (∀y: Sy) ∀x (¬ Kyx → ¬ Ix)

[If it helps to have an English meaning for the symbols, you can think of the following: Every philosopher knows everything important, Every skeptic is a philosopher ⇒ If a skeptic doesn’t know anything, then it’s not important]

(ii) Analyze: No one reads only books