comp 170 l2 l08: quantifiers. comp 170 l2 outline l quantifiers: motivation and concepts l...
TRANSCRIPT
COMP 170 L2
L08: Quantifiers
COMP 170 L2
Outline
Quantifiers: Motivation and Concepts
Quantifiers: Notations and Meaning
Saying things with Quantified Statements
Proving Quantified Statements True or False
Quantifiers and Negation
Page 2
COMP 170 L2
Quantifiers: MotivationPage 3
COMP 170 L2
Quantifiers: MotivationPage 4
COMP 170 L2
QuantifiersPage 5
COMP 170 L2
Universal QuantifierPage 6
COMP 170 L2
Universal QuantifierPage 7
COMP 170 L2
Existential QuantifierPage 8
COMP 170 L2
Proving Quantified StatementsPage 9
COMP 170 L2
Outline
Quantifiers: Motivation and Concepts
Quantifiers: Notations and Meaning
Saying things with Quantified Statements
Proving Quantified Statements True or False
Quantifiers and Negation
Page 10
COMP 170 L2
Standard Notation of QuantificationPage 11
COMP 170 L2
Meaning of Quantified StatementsPage 12
COMP 170 L2
Meaning of Quantified StatementsPage 13
COMP 170 L2
Outline
Quantifiers: Motivation and Concepts
Quantifiers: Notations and Meaning
Saying things with Quantified Statements
Proving Quantified Statements True or False
Quantifiers and Negation
Page 14
COMP 170 L2
Saying Things using Quantified Statements
Page 15
COMP 170 L2
Saying Things using Quantified Statements
Page 16
COMP 170 L2
Change Universes in Quantified Statements
Page 17
COMP 170 L2Page 18
COMP 170 L2
Change Universes in Quantified Statements
Page 19
COMP 170 L2
Outline
Quantifiers: Motivation and Concepts
Quantifiers: Notations and Meaning
Saying things with Quantified Statements
Proving Quantified Statements True or False
Quantifiers and Negation
Page 20
COMP 170 L2
Proving Quantified Statements True or FalsePage 21
COMP 170 L2
Proving Quantified Statements True or FalsePage 22
COMP 170 L2
Outline
Quantifiers: Motivation and Concepts
Quantifiers: Notations and Meaning
Saying things with Quantified Statements
Proving Quantified Statements True or False
Quantifiers and Negation
Page 23
COMP 170 L2Page 24
COMP 170 L2
Negation and Universal QuantifierPage 25
COMP 170 L2Page 26
COMP 170 L2Page 27
COMP 170 L2Page 28
COMP 170 L2
Final Note
Implicit quantification in natural language
Page 29