ExerciseFOModels-a: Difference between revisions
Jump to navigation
Jump to search
(Created page with "These are the '''individuals''' of the story:<br/> Alice<br/> Paul<br/> Lisa<br/> Tom<br/> Walter<br/> This is how is this is stated in predicate logic: ''U= {Alice,Paul,Li...") |
No edit summary |
||
Line 9: | Line 9: | ||
This is how is this is stated in predicate logic: | This is how is this is stated in predicate logic: | ||
''U= {Alice,Paul,Lisa,Tom,Walter}'' | ''U''= {''Alice, Paul, Lisa, Tom, Walter''} | ||
Name symbols: '''alice''', '''paul''', '''lisa''', '''tom''', '''walter''' | |||
Interpretation of the name symbols: | |||
''I''('''alice''') = ''Alice''<br /> | |||
''I''('''paul''') = ''Paul''<br /> | |||
''I''('''lisa''') = ''Lisa''<br /> | |||
''I''('''tom''') = ''Tom''<br /> | |||
''I''('''walter''') = ''Walter''<br /> | |||
Latest revision as of 21:02, 21 October 2013
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
- Link to the current exercise
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters