Solution to the Lady-Tiger Puzzles.
In both puzzles, let p denote the proposition 'there is a lady behind door 1' and q the
proposition 'there is a lady behind door 2'. The underlying assumption is that
Solutions and grading guidelines, Assignment 1.
1. Exercise 1-(b) is not correct according to the strict rules, but (e) and (f) are.
Derivation of (e)
formula->(formula ^ formula)