Y BL

Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Predicate Logic

Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
CBMA2103 DISCRETE MATHEMATICS

Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Learning Outcomes

Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y Y
• Describe two types of quantifiers

BL BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
• Explain the concept of predicate logic

Y BL Y BL
Y BL Y BL
• Apply the generalized De Morgan Laws

BL Y BL
Y BL
Y BL
Y Y
• Translate sentences into logical expressions

BL
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL

Example:
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y Y
6.1 PREDICATE LOGIC

BL BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
discourse, p(x) is a proposition and is, therefore, either true or false.

Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
A predicate p, by itself, is neither true nor false. However, for each x in its domain of

Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y
6.2 QUANTIFIERS

BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
6.2.1 Universal Quantifier

Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
Example:
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL

to the statement.
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
6.2.1 Universal Quantifier

Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
A value x in the domain of discourse that makes p(x) false is called a counter-example

Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
6.2.2 Existential Quantifier

Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
Example:
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
6.2.2 Existential Quantifier

Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
Example:
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
6.2.3 Combining Quantifiers

Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL

Example:
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
6.3 GENERALIZED DE MORGAN LAWS

Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL

Example:
BL Y Example: BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
Y
LOGICAL EXPRESSIONS

BL BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
6.4 TRANSLATING SENTENCES INTO

Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y Example: BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
Y
LOGICAL EXPRESSIONS

BL BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
6.4 TRANSLATING SENTENCES INTO

Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B
 Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Thank You

Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL Y
Y BL Y BL
BL Y BL
Y BL
Y BL
Y BL
Y BL Y
BL Y BL
Y BL
Y BL
Y BL
Y B