5 Predicates and Quantifiers
16
Lectures
100
SAR
-
-
5 Predicates and Quantifiers
- Motivation (Intro) 04:44
- Predicates 13:30
- Quantifiers 05:31
- English vs. Mathematical Statements 18:42
- Universal Quantifier (Any, Every, All, Each) 11:47
- Existential Quantifier (Some, Exists, At least one) 08:27
- Truth value of Existential Quantifier 19:19
- Truth value of Universal Quantifier 13:01
- Domain 08:55
- Relation between Existential and universal Quantifier 10:15
- Counterexample 07:30
- Negation of Quantifiers (Universal and Existential) 28:19
- Negation of Quantifiers (Universal and Existential) 2 27:18
- Nested Quantifiers 31:54
- Nested Quantifiers 2 21:12
- Negation of Nested Quantifiers 05:38
-
5 Predicates and Quantifiers