PREDICATE LOGIC

SE 123 – Discrete Mathematics

29-Sep-19
 QUICK EXERCISE

•  

29-Sep-19 2
 LOGICAL EQUIVALENCES INVOLVING
QUANTIFIERS

•  

29-Sep-19 3
•  

29-Sep-19 4
•  

29-Sep-19 5
 NEGATING QUANTIFIED EXPRESSIONS

•  

29-Sep-19 6
•  

29-Sep-19 7
•  

29-Sep-19 8
 ROSEN, PAGE 41, EXAMPLE 21

•  

29-Sep-19 9
TRANSLATING FROM ENGLISH TO
LOGICAL EXPRESSIONS

29-Sep-19 10
 EXAMPLE

Every pickle cooked by Keka Ferdousi will contain noodles.

29-Sep-19 11
 EXAMPLE

•  

29-Sep-19 12
 EXAMPLE

•  

29-Sep-19 13
 ROSEN, PAGE 42, EXAMPLE 24, PART 1

•  

29-Sep-19 14
 EXAMPLE FROM LEWIS CARROLL
ROSEN, PAGE 44, EXAMPLE 26

• Express the following •  

statements using the given
predicates and quantifiers:
• All lions are fierce.
• Some lions do not drink coffee.
• Some fierce creatures do not
drink coffee.

29-Sep-19 15
 EXAMPLE FROM LEWIS CARROLL
ROSEN, PAGE 45, EXAMPLE 27

• Express the following •  

statements using the given
predicates and quantifiers:
• All hummingbirds are richly
colored.
• No large birds live on honey.
• Birds that do not live on honey
are dull in color.
• Hummingbirds are small.

29-Sep-19 16