Scribd
Upload
44 views

Truth Table

The document discusses different types of logical statements and their connectives. It provides examples of constructing truth tables for compound statements using connectives such as conjunction, disjunction, negation, conditional, and biconditional. Truth tables assign true and false values to combinations of atomic statements to determine the truth value of the compound statement. Five examples are given of constructing truth tables for complex statements involving multiple connectives.

Uploaded by

Lance Frago
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
44 views

Truth Table

The document discusses different types of logical statements and their connectives. It provides examples of constructing truth tables for compound statements using connectives such as conjunction, disjunction, negation, conditional, and biconditional. Truth tables assign true and false values to combinations of atomic statements to determine the truth value of the compound statement. Five examples are given of constructing truth tables for complex statements involving multiple connectives.

Uploaded by

Lance Frago
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 17

Types of Statements and their Connective Symbols

Connective Symbol Type of Statement

MATHEMATICS IN THE MODERN WORLD


TRUTH TABLE FOR
CONJUNCTION,
DISJUNCTION AND
NEGATION
Types of Statements and their Connective Symbols
Connective Symbol Type of Statement

MATHEMATICS IN THE MODERN WORLD


Types of Statements and their Connective Symbols
Connective Symbol Type of Statement

and conjunction
or disjunction
not negation
if and then conditional
if and only if (iff) biconditional
MATHEMATICS IN THE MODERN WORLD
negation conjunction disjunction

T F
T T T T T T
F T
T F F T F T

F T F F T T

F F F F F F

MATHEMATICS IN THE MODERN WORLD


Example 1: Construct a truth table for
P ⋀ 𝑄 ∼(P ⋀ 𝑄)
T T T T T T F
T F F
T F F T
F T F
F F F F T F T
F F F T

MATHEMATICS IN THE MODERN WORLD


Example 2: Construct a truth table for
P ∨ 𝑄 ∼(P ∨𝑄)
T T T T T T F
T F T
T F T F
F T T
F F F F T T F
F F F T

MATHEMATICS IN THE MODERN WORLD


Example 3: Construct a truth table for
∼ 𝑄 P ∧∼𝑄∼(P ∧∼ 𝑄)
T T T T T F F T
T F F
T F T T F
F T F
F F F F T F F T
F F T F T

MATHEMATICS IN THE MODERN WORLD


Example 4: Construct a truth table for
T T T
𝑃 ∨ 𝑄 ∼(P ∨𝑄)𝑄 ∧∼(P∨ 𝑄)
T F T
F T T T T T F F
F F F
T F T F F
T T T F T T F F
T F F
F T F
F F F T F
F F F

MATHEMATICS IN THE MODERN WORLD


Example 5: Construct a truth table for

∼ 𝑃 (∼ P ∨𝑄) ∼(∼ P ∨𝑄)∼(∼ P ∨𝑄)∨𝑄


T T T T T F T F T
T F T
F T T
T F F F T T
F F F F T T T F T
F F T T F F

MATHEMATICS IN THE MODERN WORLD


TRUTH TABLE FOR
CONDITIONAL
AND
BICONDITIONAL
conditional biconditional

T T T T T T

T F F T F F

F T T F T F

F F T F F T

MATHEMATICS IN THE MODERN WORLD


Example 1: Construct a truth table for
𝑄 P→ 𝑄
T T T T T F F
T F F
T F T T
F T T
F F T F T F T
F F T T

MATHEMATICS IN THE MODERN WORLD


Example 2: Construct a truth table for
𝑃 ∼ P →𝑄
T T T T T F T
T F F
T F F T
F T T
F F T F T T T
F F T F

MATHEMATICS IN THE MODERN WORLD


Example 3: Construct a truth table for
T T T 𝑃 𝑄→ 𝑃 𝑃 ∨(𝑄 → 𝑃)
T F F
F T T T T F F T
F F T
T F F T T
T T T F T T T T
T F T
F T T
F F T T T
F F F

MATHEMATICS IN THE MODERN WORLD


Example 4: Construct a truth table for
T T T
T F F 𝑃𝑃 → ∼
𝑄 𝑃 → 𝑄 (𝑃 → 𝑄)↔( 𝑃 →𝑄 )
F T T TT F
F F T
T T T
TF F F T F
T T T FT T T T T
T F F
F T F
FF T T F F
F F T

MATHEMATICS IN THE MODERN WORLD


Construct a truth table for each compound
statement.

MATHEMATICS IN THE MODERN WORLD

You might also like