Creation of the World: Difference between revisions
No edit summary |
No edit summary |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 2: | Line 2: | ||
'''The real world''' | '''The real world''' | ||
At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat | At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes. | ||
'''1.''' Take a look at the story above. Using predicate logic terms and notation we now want to define the world described in the story. First we need our individuals, their relations and possible properties. You will need a pen and paper to write down your answers!'' | '''1.''' Take a look at the story above. Using predicate logic terms and notation we now want to define the world described in the story. First we need our individuals, their relations and possible properties. You will need a pen and paper to write down your answers!'' | ||
'''Note:''' | '''Note:''' As in the textbook, the expressions of the World will be written in italics and the ones of the predicate logic in bold. | ||
'''a.)''' Define the universe described in the “Real World Scenario”. Make sure you use the correct notation. | '''a.)''' Define the universe described in the “Real World Scenario”. Make sure you use the correct notation. | ||
Latest revision as of 10:25, 22 February 2013
The real world
At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes.
1. Take a look at the story above. Using predicate logic terms and notation we now want to define the world described in the story. First we need our individuals, their relations and possible properties. You will need a pen and paper to write down your answers!
Note: As in the textbook, the expressions of the World will be written in italics and the ones of the predicate logic in bold.
a.) Define the universe described in the “Real World Scenario”. Make sure you use the correct notation.
b.) Choose three individuals from those mentioned in the story and map them to 3 properties mentioned in the story. Don't forget: empty sets are possible!
c.) Write down the possible relations mentioned in the story and map them to the individuals you wrote down in a.
d.) Write down the I-functions (interpretation functions) for a, b and c.