ExerciseFOModels-a

From Lexical Resource Semantics
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}

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