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}

Name symbols: alice, paul, lisa, tom, walter

Interpretation of the name symbols:

I(alice) = Alice
I(paul) = Paul
I(lisa) = Lisa
I(tom) = Tom
I(walter) = Walter

Navigation

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