Exercise First Order Models - Revision history

Suzanne at 20:43, 6 January 2014

2014-01-06T20:43:51Z

@@ Line 78: / Line 78: @@
 </div>
-'''(c)'''  Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[ExerciseFOModels-c|Check your answers]]'''
 '''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[ExerciseFOModels-d|Check your answers]]'''

Suzanne at 20:42, 6 January 2014

2014-01-06T20:42:35Z

← Older revision		Revision as of 20:42, 6 January 2014
Line 43:		Line 43:


	'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''~~[[ExerciseFOModels~~-b\|~~Check your answers]]~~'''		'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />
			<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
			Check your answers
			<div class="mw-collapsible-content">
			These are some possible answers:


			'''rather-small''': { <''x''> \| ''x'' is rather small} = {<''Tom''>,<''Alice''>}

			'''tall''': { <''x''> \| ''x'' is tall} = {<''Paul''>, <''Lisa''>}

			'''blonde''':{ <''x''> \| ''x'' is blonde} = {<''Alice''>, <''Lisa''>}

			'''female''': {<''x''> \|''x'' is female} = {<''Lisa''>,<''Alice''>}

			'''male''': {<''x''> \| ''x'' is male} = {<''Tom''>,<''Paul''>}

			'''bored-watching-soccer''': {<''x''> \| ''x'' gets bored watching soccer} = {<''Tom''>,<''Paul''>}

			'''enjoys-watching-soccer''': {<''x''> \| ''x'' enjoys watching soccer} = {<''Alice''>,<''Lisa''>}

			'''enjoys-watching-football''': {<''x''> \| ''x'' enjoys watching football} = {<''Tom''>,<''Alice''>, <''Lisa''>, <''Paul''>}

			'''doesn't-care-about-sports''': {<''x''> \| ''x'' doesn’t care about sports} = {<''Walter''>}

			'''likes-eating-shoes''': {<''x''> \| ''x'' likes eating shoes} = {<''Walter''>}

			'''lives-in-Berlin''': {<''x''> \| ''x'' lives in Berlin} = {<''Tom''>, <''Alice''>, <''Lisa''>, <''Paul''>}

			'''want-to-live-in-Munich''': {<''x''> \| ''x'' wants to live in Munich} = {<''Tom''>, <''Alice''>, <''Paul''>, <''Lisa''>}

			'''lives-in-Munich''': {<''x''>\| ''x'' lives in Munich} = {}''
			</div>
			</div>

	'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[ExerciseFOModels-c\|Check your answers]]'''		'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[ExerciseFOModels-c\|Check your answers]]'''

Suzanne at 20:41, 6 January 2014

2014-01-06T20:41:02Z

@@ Line 13: / Line 13: @@
 '''Note:''' As in the textbook, the  expressions of the World will be written in ''italics'' and the ones of the predicate logic in '''bold'''.
-'''(a)''' Define the universe described in the scenario. Introduce appropriate name symbols and define their interpretation. Make sure you use the correct notation.<br />'''[[ExerciseFOModels-a|Check your answers]]'''
+'''(a)''' Define the universe described in the scenario. Introduce appropriate name symbols and define their interpretation. Make sure you use the correct notation.<br />
 '''(b)'''  Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[ExerciseFOModels-b|Check your answers]]'''

Manfred at 00:30, 8 December 2013

2013-12-08T00:30:12Z

← Older revision		Revision as of 00:30, 8 December 2013
Line 21:		Line 21:
	'''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[ExerciseFOModels-d\|Check your answers]]'''		'''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[ExerciseFOModels-d\|Check your answers]]'''

			{{FeedbackExercises}}

	<hr />		<hr />

Manfred at 21:00, 21 October 2013

2013-10-21T21:00:19Z

← Older revision		Revision as of 21:00, 21 October 2013
Line 13:		Line 13:
	'''Note:''' As in the textbook, the expressions of the World will be written in ''italics'' and the ones of the predicate logic in '''bold'''.		'''Note:''' As in the textbook, the expressions of the World will be written in ''italics'' and the ones of the predicate logic in '''bold'''.

	'''(a)''' Define the universe described in the scenario. Make sure you use the correct notation.<br />'''[[ExerciseFOModels-a\|Check your answers]]'''		'''(a)''' Define the universe described in the scenario. Introduce appropriate name symbols and define their interpretation. Make sure you use the correct notation.<br />'''[[ExerciseFOModels-a\|Check your answers]]'''

	'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[ExerciseFOModels-b\|Check your answers]]'''		'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[ExerciseFOModels-b\|Check your answers]]'''

Manfred at 14:22, 22 May 2013

2013-05-22T14:22:56Z

← Older revision		Revision as of 14:22, 22 May 2013
Line 17:		Line 17:
	'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[ExerciseFOModels-b\|Check your answers]]'''		'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[ExerciseFOModels-b\|Check your answers]]'''

	'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[~~AnswerEX1~~-c\|Check your answers]]'''		'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[ExerciseFOModels-c\|Check your answers]]'''

	'''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[ExerciseFOModels-d\|Check your answers]]'''		'''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[ExerciseFOModels-d\|Check your answers]]'''

Manfred at 14:17, 22 May 2013

2013-05-22T14:17:57Z

← Older revision		Revision as of 14:17, 22 May 2013
Line 15:		Line 15:
	'''(a)''' Define the universe described in the scenario. Make sure you use the correct notation.<br />'''[[ExerciseFOModels-a\|Check your answers]]'''		'''(a)''' Define the universe described in the scenario. Make sure you use the correct notation.<br />'''[[ExerciseFOModels-a\|Check your answers]]'''

	'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[~~AnswerEX1~~-b\|Check your answers]]'''		'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[ExerciseFOModels-b\|Check your answers]]'''

	'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[AnswerEX1-c\|Check your answers]]'''		'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[AnswerEX1-c\|Check your answers]]'''

Manfred at 14:14, 22 May 2013

2013-05-22T14:14:57Z

← Older revision		Revision as of 14:14, 22 May 2013
Line 13:		Line 13:
	'''Note:''' As in the textbook, the expressions of the World will be written in ''italics'' and the ones of the predicate logic in '''bold'''.		'''Note:''' As in the textbook, the expressions of the World will be written in ''italics'' and the ones of the predicate logic in '''bold'''.

	'''(a)''' Define the universe described in the scenario. Make sure you use the correct notation.<br />'''[[~~AnswerEX1~~-a\|Check your answers]]'''		'''(a)''' Define the universe described in the scenario. Make sure you use the correct notation.<br />'''[[ExerciseFOModels-a\|Check your answers]]'''

	'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[AnswerEX1-b\|Check your answers]]'''		'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''[[AnswerEX1-b\|Check your answers]]'''

Manfred at 13:39, 15 May 2013

2013-05-15T13:39:10Z

← Older revision		Revision as of 13:39, 15 May 2013
Line 19:		Line 19:
	'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[AnswerEX1-c\|Check your answers]]'''		'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[AnswerEX1-c\|Check your answers]]'''

	'''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[~~AnswerEX1~~-d\|Check your answers]]'''		'''(d)''' Write down the I-functions (interpretation functions) for (a), (b) and (c).<br />'''[[ExerciseFOModels-d\|Check your answers]]'''

Manfred at 18:31, 5 April 2013

2013-04-05T18:31:18Z

← Older revision		Revision as of 18:31, 5 April 2013
Line 1:		Line 1:
	{{CreatedByStudents1213}} ''Involved participants: [[User:Lisa\| Lisa]], [[User:Marthe\| Marthe]], [[User:Elisabeth.krall\| Elisabeth]], and [[User:IsaB\|Isabelle]].''		{{CreatedByStudents1213}}<br />''Involved participants: [[User:Lisa\| Lisa]], [[User:Marthe\| Marthe]], [[User:Elisabeth.krall\| Elisabeth]], and [[User:IsaB\|Isabelle]].''

	~~'''1.'''~~ Take a look at the following story:		Take a look at the following story:

	<blockquote>		<blockquote>

← Older revision		Revision as of 20:42, 6 January 2014
Line 43:		Line 43:


	'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />'''~~[[ExerciseFOModels~~-b\|~~Check your answers]]~~'''		'''(b)''' Choose three individuals from those mentioned in the story and map them to three properties mentioned in the story. Don't forget: empty sets are possible!<br />
			<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
			Check your answers
			<div class="mw-collapsible-content">
			These are some possible answers:


			'''rather-small''': { <''x''> \| ''x'' is rather small} = {<''Tom''>,<''Alice''>}

			'''tall''': { <''x''> \| ''x'' is tall} = {<''Paul''>, <''Lisa''>}

			'''blonde''':{ <''x''> \| ''x'' is blonde} = {<''Alice''>, <''Lisa''>}

			'''female''': {<''x''> \|''x'' is female} = {<''Lisa''>,<''Alice''>}

			'''male''': {<''x''> \| ''x'' is male} = {<''Tom''>,<''Paul''>}

			'''bored-watching-soccer''': {<''x''> \| ''x'' gets bored watching soccer} = {<''Tom''>,<''Paul''>}

			'''enjoys-watching-soccer''': {<''x''> \| ''x'' enjoys watching soccer} = {<''Alice''>,<''Lisa''>}

			'''enjoys-watching-football''': {<''x''> \| ''x'' enjoys watching football} = {<''Tom''>,<''Alice''>, <''Lisa''>, <''Paul''>}

			'''doesn't-care-about-sports''': {<''x''> \| ''x'' doesn’t care about sports} = {<''Walter''>}

			'''likes-eating-shoes''': {<''x''> \| ''x'' likes eating shoes} = {<''Walter''>}

			'''lives-in-Berlin''': {<''x''> \| ''x'' lives in Berlin} = {<''Tom''>, <''Alice''>, <''Lisa''>, <''Paul''>}

			'''want-to-live-in-Munich''': {<''x''> \| ''x'' wants to live in Munich} = {<''Tom''>, <''Alice''>, <''Paul''>, <''Lisa''>}

			'''lives-in-Munich''': {<''x''>\| ''x'' lives in Munich} = {}''
			</div>
			</div>

	'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[ExerciseFOModels-c\|Check your answers]]'''		'''(c)''' Write down the possible relations mentioned in the story and map them to the individuals you wrote down in (a).<br />'''[[ExerciseFOModels-c\|Check your answers]]'''