29
Lectures
0
SAR
-
-
Chapter 1 The Foundations: Logic and Proofs
- 1.1 Propositional Logic 19:23
- 1.1 connectives part 1 - conjunction and disjunction 17:15
- 1.1 connectives part 2 - conditional statement 23:33
- 1.1 connectives part 3 - biconditional statement 11:36
- 1.1 precedence of logical operator 25:34
- 1.3 tautology, contradiction and contingency 05:20
- 1.3 Logical Equivalences 06:12
- 1.3 Logical Equivalences 2 22:15
- 1.3 Logical Equivalences 3 29:18
- 1.3 Logical Equivalences 4 24:26
- 1.4 Predicates 15:51
- 1.4 Quantifiers 26:36
- 1.4 examples about quantifier 33:37
- 1.6 argument and rules of inferences 17:10
- 1.6 rules of inference 27:29
- 1.6 examples of rules of inference 18:06
- 1.6 is this argument valid or invalid ? 28:12
- 1.6 fallacies 12:29
- 1.7 introduction to proof 15:13
- 1.7 proof methods 26:07
- 1.7 example of proof 1 11:58
- 1.7 example of proof 2 05:58
- 1.7 example of proof 3 16:19
- 1.7 disproving by counterexample 06:54
- 1.7 proof of equivalence 16:59
- 1.7 vacuous and trivial proof 19:33
- 1.7 mistakes in proof 18:53
- 1.8 exhaustive proof and proof by cases 19:24
- 1.8 existence and uniqueness proof 23:26
-
Chapter 1 The Foundations: Logic and Proofs