Professional Documents
Culture Documents
Truth Table
Truth Table
Learning Outcomes
• Describe the truth values of
compound proposition for all
combinations
• Construct the truth tables of
propositions and compound
propositions
2
• It Truth Tables
The truth values of a
Logic
proposition built up
from other
propositions by using
required connectives
which are respectively
determined by truth Aristotle
Father of Logic
values of original (384 BCE - 322 BCE)
propositions. 3
TRUTH VALUE
Each of the logical connectives, such as negation,
conjunction, disjunction, conditional, and
bi-conditional have the following truth values.
Proposition Negation Conjunction Disjunction Conditional Bi-conditional
p q ~p p q p q p q p q
T T F T T T T
T F F F T F F
F T T F T T F
F F T F F T T
TRUTH VALUE
Example: Determine the truth value of the following
proposition.
1. It is sunny outside if and only if I carry an umbrella
implies that is not sunny outside but I carry an umbrella.
2. Either it is not sunny outside or I drive to work implies
that it is raining.
p q pq ~p p q ( p q ) (p q )
T T T F F F
T F F F F T
F T F T T T
F F T T F F
TRUTH VALUE
TAKE NOTE OF THE FOLLOWING:
EXERCISE page 41