ExerciseFOModels-b - Revision history

Manfred at 17:23, 15 October 2013

2013-10-15T17:23:06Z

← Older revision		Revision as of 17:23, 15 October 2013
Line 8:		Line 8:
	'''blonde''':{ <''x''> \| ''x'' is blonde} = {<''Alice''>, <''Lisa''>}		'''blonde''':{ <''x''> \| ''x'' is blonde} = {<''Alice''>, <''Lisa''>}

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

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

Manfred at 17:22, 15 October 2013

2013-10-15T17:22:56Z

← Older revision		Revision as of 17:22, 15 October 2013
Line 24:		Line 24:
	'''lives-in-Berlin''': {<''x''> \| ''x'' lives in Berlin} = {<''Tom''>, <''Alice''>, <''Lisa''>, <''Paul''>}		'''lives-in-Berlin''': {<''x''> \| ''x'' lives in Berlin} = {<''Tom''>, <''Alice''>, <''Lisa''>, <''Paul''>}

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

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

Manfred at 17:21, 15 October 2013

2013-10-15T17:21:53Z

← Older revision		Revision as of 17:21, 15 October 2013
Line 2:		Line 2:


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

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

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

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

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

	''bored-watching-soccer: {<x>\|x gets bored watching soccer} = {<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-soccer''': {<''x''> \| ''x'' enjoys watching soccer} = {<''Alice''>,<''Lisa''>}

	''enjoys-watching-football: {<x> \|x enjoys watching football} = {<Tom>,<Alice>, <Lisa>, <Paul>}''		'''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>}''		'''doesn't-care-about-sports''': {<''x''> \| ''x'' doesn’t care about sports} = {<''Walter''>}

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

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

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

Manfred at 17:17, 15 October 2013

2013-10-15T17:17:26Z

← Older revision		Revision as of 17:17, 15 October 2013
Line 2:		Line 2:


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

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

Manfred: Created page with "These are some possible answers: ''rather-small: {x|x is rather small} = {,}'' ''tall: {x|x is tall} = {, }'' ''blonde:{ | x is blonde} = {
2013-05-22T14:21:16Z

Created page with "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} = {<Alic..."

New page
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 is rather small} = {<Tom>,<Alice>, <Paul>, <Lisa>}''

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

====Navigation====
* the [[Exercise_First_Order_Models|current exercise]]
* the [[Exercise-ch2|exercises for chapter 2]]
* the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]
* the overview over [[Textbook-chapters|all chapters]]

← Older revision		Revision as of 17:23, 15 October 2013
Line 8:		Line 8:
	'''blonde''':{ <''x''> \| ''x'' is blonde} = {<''Alice''>, <''Lisa''>}		'''blonde''':{ <''x''> \| ''x'' is blonde} = {<''Alice''>, <''Lisa''>}

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

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