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

Navigation

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