ExerciseFOModels-a
Jump to navigation
Jump to search
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}
- Link to the current exercise
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters