Logic
Logic
01 02 03 04 05
The Ouch! I Turn right Have you Please
principal cut my at the heard of reserve
will visit finger. fourth the good December
classes traffic news? 7 for me.
starting sign.
next week.
Kinds of Sentences
Declarative Imperative Interrogative Exclamatory
01 02 03 04 05
Rowena Pass the October 5, When will 5+3=8
passed paper and 2020 was you and
the then leave Monday. submit 12 - 7 = 5
Mathemati the room. your
cs subject. project?
Proposition
It is a declarative sentence that can be classified as true or false, but no
both.
Disjunction Biconditional
Conjunction
Two propositions connected using the
word AND.
Disjunction
Two simple propositions that are
connected using the word OR
Conditional
Two simple propositions that are
connected using the words IF and THEN
Biconditional
Two conditional statements where the
antecedent and consequent of the first
statement have been switched in the second
statement.
Negation
It is a statement that is false whenever the given
statement is true, and true whenever the given
statement is false.
Decide whether each of the following is
proposition or not.
01 The number 4 is even and less than 12.
p ~p
T F
F T
Conjunction
The connective and implies the idea of “both”. For the conjunction
p ^ q to be true, both p and q must be true, otherwise the
conjunction ispfalse. q p^q
T T T
T F F
F T F
F F F
Disjunction
The connective or implies that p is true, or q is true, or both are
true. A disjunction allows us to express alternatives.
p q pvq
T T T
T F T
F T T
F F F
Conditional
The conditional may also be read as ‘p implies q’. The proposition
p is called the hypothesis, while the proposition q is called
conclusion. p q
T T T
T F F
F T T
F F T
Biconditional
The proposition may also be written as ‘p if and only if q’ (p iff q).
The propositions p and q are the components of the biconditional.
p q
T T T
T F F
F T F
F F T
Your turn!
Construct a truth table for each given compound proposition.
1. p
2. (p v q) v (p ^ ~q)
3. ~q v (p ^ q)
Assignment (Orion)
Construct a truth table for each given compound
proposition.
1. p
2. (p ^ q) v (p ^ ~q)
3. q v ~(p ^ q)
Thank you for
listening