Homework for Philosophy 270, Fall 2006
Homework on §8.5—assigned Wed 12/6 and due Fri 12/8
Use derivations to show:
∃x ∃y (Fy ∧ Rxy) ⇒ ∃x (Fx ∧ ∃y Ryx)
Extra credit. Analyze the following:
This is the farmer sowing the corn that kept the cock that crowed in the morn that waked the priest all shaven and shorn that married the man all tattered and torn that kissed the maiden all forlorn that milked the cow with the crumpled horn that tossed the dog that worried the cat that killed the rat that ate the malt that lay in the house that Jack built.