2
Instruction
Kenneth H. Rosen. Discrete Mathematics and Its Applications,
6th Edition
Exams: 2 tests (40%), final (40%)
Homework (10%): equally divided between several assignments.
HW submitted late will not be graded.
Cheating HW will not be graded
Class attendance(10%)
Each class slid should be with you.
Textbook:
3
Propositional Logic Truth values, truth tables
Conjunction () Negation () Disjunction () Implication () Biconditional () Exclusive OR()
4
Propositions• Declarative sentence(sentence that
declares a fact)• Must be either True or False.Propositions: • UQU is in Makkah (T)• 1+1=2 (T)• 2+2=3 (F)• jeddah is capital of Saudi Arabia (F)
Not propositions:• Do you like this class?• Read this carrfully• X+1=2
Are not declares a fact
Are not declares a fact
They are neither true nor false
5
cont. Propositions
• Truth value: True or False
• proposition Variables: Variables that represent proposition..
• We will use letters to denote proposition Variables: p,q,r,s,…
• Negation:p (“not p”)
• Truth table for
• negation
p p
T F
F T
6
cont. negating propositions
p: “is the opposite of the truth value of p”
p: “it is not the case that p”
p: “it rained more than 20 inches in TO”
p: “John has many iPads”
Page 3
Find the negation of
this two proposition
Conjunction: p q [“and”]
7
p q p q
T T T
T F F
F T F
F F F
e.gp: It is snowingq: It is below
freezing
N propositions2N possibility
9
Disjunction: p q [“or”]
p q p q
T T T
T F T
F T T
F F F
e.gp: It is snowingq: It is below
freezing
11
Exclusive OR (XOR)• p q – T if p and q have different truth
values, F otherwise
p q p q
T T F
T F T
F T T
F F F
12
Conditional:p q [“if p then q”]
• p: hypothesis, q: conclusion• E.g.:p: “If you turn in a homework late, then it
will not be graded”; “If you get 100% in this course, then you will get an A+”.
From the definition of a conditional statement find if this two statements are True or False and why???
“If today is Sunday ,then 2+6=8”
“If today is Sunday ,then 2+6=3”
15
BiConditional:p q [“p iff q”]
16
p q p q
T T T
T F F
F T F
F F T
Biconditional statement
terminology
• It is below freezing and it is snowing• It is below freezing but not snowing• It is not below freezing and it is not snowing• It is either snowing or below freezing (or
both)• If it is below freezing, it is also snowing• That it is below freezing is necessary and
sufficient for it to be snowing
17
HW