CK-12 Geometry-Concepts

http://www.ck12.org Chapter 2. Reasoning and Proof

Watch this video for help with the Examples above.

MEDIA

Click image to the left for use the URL below.

URL: http://www.ck12.org/flx/render/embeddedobject/52479

CK-12 Foundation: Chapter2TruthTablesB

Vocabulary

Truth tablesuse symbols to analyze logic.

Guided Practice

Write a truth table for the following variables.

1.p∧∼p

2.∼p∨∼q

3.p∧(q∨∼q)

Answers:

1. First, make columns forp, then add in∼pand finally, evaluatep∧∼p.

TABLE2.13:

p ∼p p∧∼p

T F F

F T F

2. First, make columns forpandq, then add in∼pand∼q. Finally, evaluate∼p∨∼q.

TABLE2.14:

p q ∼p ∼q ∼p∨∼q

T T F F F

T F F T T

F T T F T

F F T T T

3. First, make columns forpandq, then add in∼qandq∨∼q. Finally, evaluatep∧(q∨∼q).

TABLE2.15:

p q ∼q (q∨∼q) p∧(q∨∼q)

T T F T T

T F T T T

F T F T F