LOGIC

4. [4 marks]. After his lunch, Gödel tells you that he ate either apples or bananas; also that if he had

corn, then he had a decaf coffee; also that he didn't drink either decaf coffee or espresso.

Define propositions A through E for relevant parts of Gödel's statements. (For example, define A to

be 'Gödel ate apples' and so on.)

Write each of the statements Gödel made about his lunch in terms of the propositions A through E.

It is not widely known, but Gödel lied about everything: every statement he said was false.

Determine what Gödel had for lunch. Justify your answer.