ExerciseFOModels-c

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: 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>}

Navigation

• the current exercise
• the exercises for chapter 2
• the material for chapter 2
• the overview over all chapters