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 difference)
|
Revision as of 14:17, 22 May 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}
- Link to the current exercise
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters