AI Tutor
Back to Propositional Logic

Exercise 1

Avg difficulty 2.5

Consider the statement about a party, “If it's your birthday or there will be cake, then there will be cake.”

  1. Translate the above statement into symbols. Clearly state which statement is PP and which is QQ.

  2. Make a truth table for the statement.

  3. Assuming the statement is true, what (if anything) can you conclude if there will be cake?

  4. Assuming the statement is true, what (if anything) can you conclude if there will not be cake?

  5. Suppose you found out that the statement was a lie. What can you conclude?

Levin, Discrete Mathematics: An Open Introduction (3rd ed.), §4.1 Propositional Logic, Exercise 1

AI Tutor

Adapted from Discrete Mathematics: An Open Introduction © 2013–2019 Oscar Levin. Licensed under CC BY-SA 4.0. Source: Discrete Mathematics: An Open Introduction. Imported at revision 1e2e26b.