Solutions Quantifiers2 2
Jump to navigation
Jump to search
Ramon signs every sculpture he makes.
Universal Quantifier
∀x (SCULPTURE (x) & MAKE (r, x) → SIGN (r, x))
"For every thing x, if x is a sculpture and x is made by Ramon (r) then x is signed by Ramon (r)."
Since Ramon makes and signs the sculptures, the corresponding variables are (r, x).
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.