Creation of the 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 their 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!

a.) Define the universe described in the “Real World Scenario”. Make sure you use the correct notation.

*Check your answers

b.) Choose three individuals from those mentioned in the story and map them to 3 of the properties mentioned in the story. Don't forget: empty sets are possible!

*Check your answers

c.) Write down the possible relations mentioned in the story and map them to the individuals you wrote down in a.

*Check your answers

d.) Write down the I-functions (interpretation functions) for a, b and c.

*Check your answers

Navigation

Link to the Wiki Page