Back to Mathematical Statements

Exercise 3

Avg difficulty 2.5

Suppose PP and QQ are the statements: PP: Jack passed math. QQ: Jill passed math.

  1. Translate “Jack and Jill both passed math” into symbols.

  2. Translate “If Jack passed math, then Jill did not” into symbols.

  3. Translate “P∨QP \vee Q ” into English.

  4. Translate “¬(P∧Q)→Q\neg(P \wedge Q) \imp Q ” into English.

  5. Suppose you know that if Jack passed math, then so did Jill. What can you conclude if you know that:

    1. Jill passed math?
    2. Jill did not pass math?

Levin, Discrete Mathematics: An Open Introduction (3rd ed.), §1.2 Mathematical Statements, Exercise 3

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.