Semantics1 Week 2: Difference between revisions
Jump to navigation
Jump to search
| Line 17: | Line 17: | ||
** one ternary relation (3-place relation). | ** one ternary relation (3-place relation). | ||
* Add the corresponding name symbols and predicate symbols.<br/> For an example see the solution to [[Exercise_First_Order_Models|this excercise]]. | * Add the corresponding name symbols and predicate symbols.<br/> For an example see the solution to [[Exercise_First_Order_Models|this excercise]]. | ||
* Provide two statements that can be evaluated with respect to your model. One of them should be true, the other false. | |||
Revision as of 22:49, 21 April 2015
Additional material for the meeting of week 2, April 22, 2015.
Our literary scenario: Game of Thrones (TV series)
- Wikipedia site: http://en.wikipedia.org/wiki/Game_of_Thrones
Site on season 1: http://en.wikipedia.org/wiki/Game_of_Thrones_%28season_1%29 - Short summary of season 1 on youtube: https://www.youtube.com/watch?v=atxp6x3YreI
For next week
- Get information on our literary scenario: Game of Thrones (TV series)
- Wikipedia site: http://en.wikipedia.org/wiki/Game_of_Thrones
Site on season 1: http://en.wikipedia.org/wiki/Game_of_Thrones_%28season_1%29 - Short summary of season 1 on youtube: https://www.youtube.com/watch?v=atxp6x3YreI
- Wikipedia site: http://en.wikipedia.org/wiki/Game_of_Thrones
- Read Levine et al. (in prep.), Chapter 2, Section 1 [available at olat].
- Define a model based on the Game of Thrones-scenario that contains:
- three individuals,
- two properties,
- one binary relation (2-place relation), and
- one ternary relation (3-place relation).
- Add the corresponding name symbols and predicate symbols.
For an example see the solution to this excercise. - Provide two statements that can be evaluated with respect to your model. One of them should be true, the other false.