Solutions Quantifiers2 2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 9: | Line 9: | ||
We use the name constant '''ramon''' for both the name (''Ramon'') and the personal pronoun ''he'' that referes to Ramon. | We use the name constant '''ramon''' for both the name (''Ramon'') and the personal pronoun ''he'' that referes to Ramon. | ||
''' | '''In restricted quantifier notation''' | ||
∀''x'' (('''sculpture'''(''x'') ∧ '''make'''('''ramon''', ''x'')) : '''sign'''('''ramon''', ''x'')) | |||
Here, the N' is "sculpture he makes" and therefore | Here, the N' is "sculpture he makes" and therefore its translation appears in the part before the colon. | ||
[[Exercise_Quantifiers#Different_types_of_Quantifiers|Return to Excercise]] | [[Exercise_Quantifiers#Different_types_of_Quantifiers|Return to Excercise]] |
Latest revision as of 00:08, 15 November 2013
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.
In restricted quantifier notation
∀x ((sculpture(x) ∧ make(ramon, x)) : sign(ramon, x))
Here, the N' is "sculpture he makes" and therefore its translation appears in the part before the colon.