CT LECTURE WEEK 13 19122023 092207am 1 03052024 095755am
CT LECTURE WEEK 13 19122023 092207am 1 03052024 095755am
Lecture 13
Propositional
Logics
Amna Bashir
Lecture
Computer
Science
Objectives
• Propositional
Logic
• Conjunction
• Disjunction
• Negation
• Implies
• Biconditional
Propositional Logic
• Propositions are statements that can be either true
or false, and propositional logic focuses on analyzing
the logical relationships between these propositions.
P Q P𝖠Q
T T T
T F F
F T F
F F F
Example