AnswerEX1-a: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
(7 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
These are the individuals of the story: | These are the '''individuals''' of the story:<br/> | ||
Alice | Alice<br/> | ||
Paul | Paul<br/> | ||
Lisa | Lisa<br/> | ||
Tom | Tom<br/> | ||
Walter | Walter<br/> | ||
This is the '''correct writing''' in predicate logic: | |||
''U= {Alice,Paul,Lisa,Tom,Walter}'' | |||
Line 19: | Line 15: | ||
*[[Creation_of_the_World|Link to the current exercise]] | *[[Creation_of_the_World|Link to the current exercise]] | ||
*[[NMTS-Group9|Link to the Wiki Page]] |
Latest revision as of 09:23, 29 January 2013
These are the individuals of the story:
Alice
Paul
Lisa
Tom
Walter
This is the correct writing in predicate logic:
U= {Alice,Paul,Lisa,Tom,Walter}