Homework on §7.4—assigned Mon 11/8 and due Wed 11/10

(i)

Analyze and restate the result using unrestricted quantifiers:

No one had every piece of the puzzle

(ii)

Synthesize an English sentence that has the following analysis:

(∀x: Px) (∀y: Ty ∧ ¬ Fy) ¬ Ryx

F: [ _ is familiar]; P: [ _ is a person]; R: [ _ was recognized by _ ]; T: [ _ is a tune]