"With every dinner I have three rules":
- If I don't drink wine, then I eat soup
- If I eat soup and drink wine, then I'll have some pudding
- If I have pudding or don't drink wine, then I'll skip the soup
I have to answer these questions:
- Do I drink wine with every dinner?
- Do I eat soup with every dinner?
I have to figure out the solution with the help of truth tables.
I have the following translation keys:
- Drink wine = w
- Eat soup = s
- Eat pudding = p
The propositions then, are translated as follows:
- ~w -> s
- (s ^ w) -> p
- (p v ~w) -> ~s
I have one truth table with only the proposition letters w en s, and two with w, p, and s.
Now, here's where I can't really decide what I should do. Should I just look at the truth tables? The ones for 2 and 3 are not easy to figure out just by looking at them. Should I extend the truth tables, and include e.g. for the first question a column for w, and check which models of w are also models for the propositional sentences?