Exercise Quantifiers - Revision history

Manfred: /* Exercises */

2021-05-30T19:23:34Z

Exercises

← Older revision		Revision as of 19:23, 30 May 2021
Line 35:		Line 35:

	<quiz display=simple>		<quiz display=simple>

	{''Some Montague who was at the party fell in love with Juliet.''		{''Some Montague who was at the party fell in love with Juliet.''
	\|type="()"}		\|type="()"}
Line 41:		Line 40:
	\|\| In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets).		\|\| In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets).
	+ ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))		+ ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))
	~~- ∃''x'' ('''montague<sub>1</sub>'''(''x'') : ('''at-party<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))~~
	~~\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor.~~
	- ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) : '''at-party<sub>1</sub>'''(''x''))		- ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) : '''at-party<sub>1</sub>'''(''x''))
	\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor, that of the VP in the scope.		\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor, that of the VP in the scope.

Manfred: /* Exercises */

2021-05-30T19:22:37Z

Exercises

← Older revision		Revision as of 19:22, 30 May 2021
Line 12:		Line 12:
	After having watched the video, work on the following tasks.		After having watched the video, work on the following tasks.

	'''Task 1''' Identify the determiners in the following sentence.		'''Task 1''' Identify the logica determiners in the following sentence.

	(a) Juliet talked to some stranger at the party.		(a) Juliet talked to some stranger at the party.
Line 84:		Line 84:
	</div>		</div>
	</div>		</div>


	= More exercises on quantifiers =		= More exercises on quantifiers =

Suzanne: /* Input */

2016-04-03T17:37:34Z

Input

← Older revision		Revision as of 17:37, 3 April 2016
Line 5:		Line 5:
	Watch the following video on logical determiners:		Watch the following video on logical determiners:

	<~~mediaplayer~~> http://youtu.be/5PRL23XcaFY</~~mediaplayer~~>		<embedvideo service="youtube" dimensions="400">http://youtu.be/5PRL23XcaFY</embedvideo>
	<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->		<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->

Monique Lanz: Undo revision 6176 by Monique Lanz (talk)

2015-08-21T14:39:06Z

Undo revision 6176 by Monique Lanz (talk)

← Older revision		Revision as of 14:39, 21 August 2015
Line 84:		Line 84:
	</div>		</div>
	</div>		</div>


	= More exercises on quantifiers =		= More exercises on quantifiers =

Monique Lanz: /* Exercises */

2015-08-21T14:26:45Z

Exercises

← Older revision		Revision as of 14:26, 21 August 2015
Line 84:		Line 84:
	</div>		</div>
	</div>		</div>


	= More exercises on quantifiers =		= More exercises on quantifiers =

Manfred: /* More exercises on quantifiers */

2015-04-27T21:23:37Z

More exercises on quantifiers

← Older revision		Revision as of 21:23, 27 April 2015
Line 84:		Line 84:
	</div>		</div>
	</div>		</div>


	= More exercises on quantifiers =		= More exercises on quantifiers =

Manfred: /* Homework task for the meeting of November 25 */

2015-04-27T21:23:25Z

Homework task for the meeting of November 25

@@ Line 84: / Line 84: @@
 </div>
 </div>
 = More exercises on quantifiers =

Manfred at 21:22, 27 April 2015

2015-04-27T21:22:33Z

← Older revision		Revision as of 21:22, 27 April 2015
Line 1:		Line 1:
			= Introduction to the topic =

			== Input ==

			Watch the following video on logical determiners:

			<mediaplayer> http://youtu.be/5PRL23XcaFY</mediaplayer>
			<!-- old video with less optimal audio: http://youtu.be/b0iLejXP9C8 -->

			== Exercises ==

			After having watched the video, work on the following tasks.

			'''Task 1''' Identify the determiners in the following sentence.

			(a) Juliet talked to some stranger at the party.

			(b) Every Capulet is an enemy to some Montague.

			(c) Many people in Verona are not happy about the Capulet-Montague feud.

			<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
			Check your solutions here:
			<div class="mw-collapsible-content">
			(a) ''some''

			(b) ''every'', ''some''

			(c) ''many''</div>
			</div>



			'''Task 2''' Identify the formula that corresponds to the translation of the sentence.

			<quiz display=simple>

			{''Some Montague who was at the party fell in love with Juliet.''
			\|type="()"}
			- ∃''x'' ('''montague<sub>1</sub>'''(''x'') : ('''at-party<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')))
			\|\| In restricted quantifier notation, the "complete" semantic representation of the noun phrase (NP) appears in the restrictor (-> square brackets).
			+ ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''at-party<sub>1</sub>'''(''x'')) : '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))
			- ∃''x'' ('''montague<sub>1</sub>'''(''x'') : ('''at-party<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet'''))
			\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor.
			- ∃''x'' (('''montague<sub>1</sub>'''(''x'') &and; '''fall-in-love-with<sub>2</sub>'''(''x'','''juliet''')) : '''at-party<sub>1</sub>'''(''x''))
			\|\| In restricted quantifier notation, the semantic representation of the noun phrase (NP) appears in the restrictor, that of the VP in the scope.

			</quiz>

			'''Task 3''' The sentence: ''Some Tybalt loved some Montague.'' is translated into the formula<br>∃ y ('''montague<sub>1</sub>'''(''y'') : '''love<sub>2</sub>'''('''tybalt''',''y'').

			<quiz display=simple>
			{Mark all the cells in the table that stand for a true statement.
			\|type="[]"}
			\| '''montague<sub>1</sub>'''(''y'') <span style="color:white">zwisch</span>\| '''love<sub>2</sub>'''('''tybalt''',''y'')<span style="color:white">zwisch</span>
			+- ''Romeo''
			+- ''Mercutio''
			-- ''Juliet''
			-- ''Tybalt''
			-- ''Laurence''
			-- ''Paris''
			</quiz>

			Given this table, is the overall formula true or false? (Give a reason for your answer.)
			<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
			Check your solutions here:
			<div class="mw-collapsible-content">
			The formula is false, because there is no individual in our model for which both the restrictor and the scope are true.
			</div>
			</div>



			'''Task 4''' Variable assignment function<br>
			Start with the following variable assigment function ''g'':
			''g(u) = Romeo, g(v) = Juliet, g(w) = Romeo, g(x) = Laurence, g(y) = Mercutio, g(z) = Juliet''

			Provide the changed variable assignment function ''g''[''v/Paris''].

			<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
			Check your solutions here:
			<div class="mw-collapsible-content">
			''g''[''v/Paris'']''(u)'' = ''g(u)'' = ''Romeo''<br>''g''[''v/Paris'']''(v)'' = ''Paris''<br>''g''[''v/Paris'']''(w)'' = ''g(w)'' = ''Romeo''<br>''g''[''v/Paris'']''(x)'' = ''g(x)'' = ''Laurence''<br>''g''[''v/Paris'']''(y)'' = ''g(y)'' = ''Mercutio''<br>''g''[''v/Paris'']''(z)'' = ''g(z)'' = ''Juliet''
			</div>
			</div>

			=== Homework task for the meeting of November 25 ===

			In the following sentences,
			# identify the determiner, the restrictor, and the scope,
			# provide the paraphrase,
			# translate the sentences into formulae,
			# indicate for each formula whether it is true or false.

			<u>''Example:''</u>
			''Laurence married Romeo to a Capulet.''
			# determiner: ''a''<br>restrictor: ''Capulet''<br>scope: ''Laurence married Romeo to x''
			# paraphrase: For some ''x'' such that ''x'' is a Capulet, Laurence married Romeo to ''x''.
			# formula: ∃ ''x'' ('''capulet<sub>1</sub>'''(''x'') : '''marry-to'''('''laurence''', '''romeo''', ''x''))
			# true or false? The formula is true in the context of our play because Juliet is a Capulet and Laurence marries Romeo to her. Thus, we find an individual for which both the restrictor and the scope are true.

			Work on the following sentences:

			(a) ''Romeo talked to a friar.''

			(b) ''Juliet killed every Capulet.''


	= More exercises on quantifiers =		= More exercises on quantifiers =

Manfred at 21:21, 27 April 2015

2015-04-27T21:21:14Z

← Older revision		Revision as of 21:21, 27 April 2015
Line 1:		Line 1:

			= More exercises on quantifiers =

	{{CreatedByStudents1213}}<br />''Involved participants: [[User:AnKa\| AnKa]], [[User:Katharina\| Katharina]], [[User:Lara\| Lara]]		{{CreatedByStudents1213}}<br />''Involved participants: [[User:AnKa\| AnKa]], [[User:Katharina\| Katharina]], [[User:Lara\| Lara]]


	==Restricted Quantifiers==		==Restricted Quantifiers==

Manfred: /* Different types of Quantifiers */

2014-11-14T08:12:53Z

Different types of Quantifiers

← Older revision		Revision as of 08:12, 14 November 2014
Line 52:		Line 52:
	</quiz>		</quiz>

	'''2.''' Write down the ~~corresponding~~ logical formula(s).		'''2.''' Write down the logical formula(e) that correspond to the sentence ''Ramon signs every sculpture he makes.''

	<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">		<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">