Solutions Quantifiers2 2 - Revision history

Manfred at 00:08, 15 November 2013

2013-11-15T00:08:13Z

← Older revision		Revision as of 00:08, 15 November 2013
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.

	'''~~Restricted Quantifier~~'''		'''In restricted quantifier notation'''

	~~[Every~~ x~~: SCULPTURE~~ (x) & ~~MAKE~~ (r, x)~~] SIGN~~ (r, x)		∀''x'' (('''sculpture'''(''x'') &and; '''make'''('''ramon''', ''x'')) : '''sign'''('''ramon''', ''x''))

	Here, the N' is "sculpture he makes" and therefore ~~belongs~~ in ~~square brackets together with~~ the ~~Quantifier ''every''~~.		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]]

Manfred at 00:06, 15 November 2013

2013-11-15T00:06:30Z

← Older revision		Revision as of 00:06, 15 November 2013
Line 3:		Line 3:
	'''Universal Quantifier'''		'''Universal Quantifier'''

	∀''x'' (('''sculpture'''(''x'') &and; '''make'''('''ramon''', ''x'')) &~~imp~~; '''sign'''('''ramon''', ''x''))		∀''x'' (('''sculpture'''(''x'') &and; '''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."''		Paraphrse: ''"For every thing ''x'', if ''x'' is a sculpture and ''x'' is made by Ramon then ''x'' is signed by Ramon."''

Manfred at 00:04, 15 November 2013

2013-11-15T00:04:59Z

← Older revision		Revision as of 00:04, 15 November 2013
Line 1:		Line 1:
	'''Ramon signs every sculpture he makes.'''		Sentence: ''Ramon signs every sculpture he makes.''

	'''Universal Quantifier'''		'''Universal Quantifier'''

	∀x (~~SCULPTURE~~ (x) & ~~MAKE~~ (r, x) ~~→ SIGN~~ (r, x))		∀''x'' (('''sculpture'''(''x'') &and; '''make'''('''ramon''', ''x'')) &imp; '''sign'''('''ramon''', ''x''))

	''"For every thing x, if x is a sculpture and x is made by Ramon ~~(r)~~ then x is signed by Ramon ~~(r)~~."''		Paraphrse: ''"For every thing ''x'', if ''x'' is a sculpture and ''x'' is made by Ramon then ''x'' is signed by Ramon."''


	~~Since Ramon ''makes'' and ''signs'' the sculptures, the corresponding variables are (r, x).~~

			We use the name constant '''ramon''' for both the name (''Ramon'') and the personal pronoun ''he'' that referes to Ramon.

	'''Restricted Quantifier'''		'''Restricted Quantifier'''

Suzanne: Created page with "'''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..."

2013-11-14T23:21:30Z

Created page with "'''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..."

New page

'''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''.

[[Exercise_Quantifiers#Different_types_of_Quantifiers|Return to Excercise]]