ExerciseFOModels-a

These are the individuals of the story:
Alice
Paul
Lisa
Tom
Walter

This is how is this is stated in predicate logic:

U= {Alice,Paul,Lisa,Tom,Walter}

Navigation

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