ExerciseFOModels-c - Revision history

Manfred at 20:58, 21 October 2013

2013-10-21T20:58:00Z

← Older revision		Revision as of 20:58, 21 October 2013
Line 18:		Line 18:
	'''married-to-eachother''': {<''x'', ''y''> \| ''x'' is married to ''y''} = {<''Alice'', ''Paul''>, <''Paul'', ''Alice''}		'''married-to-eachother''': {<''x'', ''y''> \| ''x'' is married to ''y''} = {<''Alice'', ''Paul''>, <''Paul'', ''Alice''}

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

Manfred at 20:56, 21 October 2013

2013-10-21T20:56:09Z

← Older revision		Revision as of 20:56, 21 October 2013
Line 2:		Line 2:


	''son-of-someone: {<x,y>\|x is the son of y} = {<Tom,Paul>,<Tom,Alice>}''		'''son-of-someone''': {<''x'',''y''> \| ''x'' is the son of ''y''} = {<''Tom'', ''Paul''>, <''Tom'', ''Alice''>}

	''father-of-someone: {<x,y>\|x is the father of y} ={<Paul,Tom>,<Paul,Lisa>}''		'''father-of-someone''': {<''x'', ''y''> \| ''x'' is the father of ''y''} ={<''Paul'', ''Tom''>, <''Paul'',''Lisa''>}

	''daughter-of-someone: {<x,y>\| x is the daughter of y} = {<Lisa,Paul>,<Lisa,Alice>}''		'''daughter-of-someone''': {<''x'', ''y''> \| ''x'' is the daughter of ''y''} = {<''Lisa'', ''Paul''>, <''Lisa'', ''Alice''>}

	''mother-of-someone: {<x,y>\| x is the mother of y} ={<Alice,Lisa>,<Alice,Paul>}''		'''mother-of-someone''': {<''x'', ''y''> \| ''x'' is the mother of ''y''} ={<''Alice'', ''Lisa''>, <''Alice'', ''Paul''>}

	''brother-of-someone: {<x,y>\|x is the brother of y} = {<Tom,Lisa>}''		'''brother-of-someone''': {<''x'', ''y''> \| ''x'' is the brother of ''y''} = {<''Tom'', ''Lisa''>}

	''sister-of-someone: ~~{<x,y>\| x~~ is the sister of y} = {<Lisa,Tom>}''		'''sister-of-someone''': is the sister of ''y''} = {<''Lisa'', ''Tom''>}

	''dog-of-someone: {<x,y>\| x is the dog of y} = {<Walter,Alice>,<Walter,Paul>,<Walter,Tom>,<Walter,Lisa>}''		'''dog-of-someone''': {<''x'', ''y''> \| ''x'' is the dog of ''y''} = {<''Walter'', ''Alice''>, <''Walter'', ''Paul''>, <''Walter'', ''Tom''>, <''Walter'', ''Lisa''>}

	''married-to-eachother: {<x,y>\| x is married to y} = {<Alice,Paul>,<Paul,Alice}''		'''married-to-eachother''': {<''x'', ''y''> \| ''x'' is married to ''y''} = {<''Alice'', ''Paul''>, <''Paul'', ''Alice''}

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

Manfred at 14:24, 22 May 2013

2013-05-22T14:24:33Z

← Older revision		Revision as of 14:24, 22 May 2013
Line 19:		Line 19:

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


			====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]]

Manfred: Created page with "Here are examples of some relations: ''son-of-someone: {|x is the son of y} = {,}'' ''father-of-someone: {|x is the father of y} ={..."

2013-05-22T14:23:50Z

Created page with "Here are examples of some relations: ''son-of-someone: {<x,y>|x is the son of y} = {<Tom,Paul>,<Tom,Alice>}'' ''father-of-someone: {<x,y>|x is the father of y} ={<Paul,Tom>..."

New page

Here are examples of some relations:

''son-of-someone: {<x,y>|x is the son of y} = {<Tom,Paul>,<Tom,Alice>}''

''father-of-someone: {<x,y>|x is the father of y} ={<Paul,Tom>,<Paul,Lisa>}''

''daughter-of-someone: {<x,y>| x is the daughter of y} = {<Lisa,Paul>,<Lisa,Alice>}''

''mother-of-someone: {<x,y>| x is the mother of y} ={<Alice,Lisa>,<Alice,Paul>}''

''brother-of-someone: {<x,y>|x is the brother of y} = {<Tom,Lisa>}''

''sister-of-someone: {<x,y>| x is the sister of y} = {<Lisa,Tom>}''

''dog-of-someone: {<x,y>| x is the dog of y} = {<Walter,Alice>,<Walter,Paul>,<Walter,Tom>,<Walter,Lisa>}''

''married-to-eachother: {<x,y>| x is married to y} = {<Alice,Paul>,<Paul,Alice}''

''enjoy-watching-football-together: {<x,y>| x enjoys watching football with y} = {<Alice,Paul>,<Paul,Alice>,<Alice,Lisa>,<Lisa,Alice>,<Alice,Tom>,<Tom,Alice>,<Paul,Lisa>,<Lisa,Paul>,<Paul,Tom>, <Tom,Paul>,<Tom,Lisa>,<Lisa,Tom>}''