Solutions Quantifiers2 2
Jump to navigation
Jump to search
Sentence: Ramon signs every sculpture he makes.
Universal Quantifier
∀x ((sculpture(x) ∧ make(ramon, x)) ⊃ sign(ramon, x))
Paraphrse: "For every thing x, if x is a sculpture and x is made by Ramon then x is signed by Ramon."
We use the name constant ramon for both the name (Ramon) and the personal pronoun he that referes to Ramon.
Restricted Quantifier
[Every x: SCULPTURE (x) & MAKE (r, x)] SIGN (r, x)
Here, the N' is "sculpture he makes" and therefore belongs in square brackets together with the Quantifier every.