Completed
Logic 101 (#36): Introduction to Proofs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Logic 101 MOOC
Automatically move to the next video in the Classroom when playback concludes
- 1 Logic 101 (#1): Introduction
- 2 Logic 101 (#2): Overview
- 3 Logic 101 (#3): Finding Simple Sentences
- 4 Logic 101 (#4): Representing Simple Sentences
- 5 Logic 101 (#5): Negation
- 6 Logic 101 (#6): OR/Disjunction
- 7 Logic 101 (#7) Compound Sentences
- 8 Logic 101 (#8): AND/Conjunction
- 9 Logic 101 (#9): Conditional (If-Then) Statements
- 10 Logic 101 (#10): Biconditional (IF AND ONLY IF)
- 11 Logic 101 (#11): Truth Tables
- 12 Logic 101 (#12): Truth Table Practice
- 13 Logic 101 (#13): Why Are "Vacuously True" Statements True?
- 14 Logic 101 (#14): Exclusive OR
- 15 Logic 101 (#15): Complicated Truth Tables
- 16 Logic 101 (#16): Double Negation
- 17 Logic 101 (#17): Material Implication
- 18 Logic 101 (#18): Contraposition
- 19 Logic 101 (#19): DeMorgan's Law, Part 1
- 20 Logic 101 (#20): DeMorgan's Law, Part 2
- 21 Logic 101 (#21): Applying Replacement Rules
- 22 Logic 101 (#22): Associativity
- 23 Logic 101 (#23): Commutativity
- 24 Logic 101 (#24): Hard Replacement Rule Problem
- 25 Logic 101 (#25): Distribution
- 26 Logic 101 (#26): Idempotence
- 27 Logic 101 (#27): Modus Ponens
- 28 Logic 101 (#28): Modus Tollens
- 29 Logic 101 (#29): Disjunctive Syllogism
- 30 Logic 101 (#30): Hypothetical Syllogism
- 31 Logic 101 (#31): Constructive Dilemma
- 32 Logic 101 (#32): Destructive Dilemma
- 33 Logic 101 (#33): Conjunction Introduction
- 34 Logic 101 (#34): Simplification
- 35 Logic 101 (#34.5): Biconditional Introduction and Elimination
- 36 Logic 101 (#35): Disjunction Introduction
- 37 Logic 101 (#36): Introduction to Proofs
- 38 Logic 101 (#37): Killer Proof Strategy #1 (DeMorgan's Everything!)
- 39 Logic 101 (#38): Working Backward (Killer Proof Strategy #2)
- 40 Logic 101 (#39): Proof By Contradiction/Indirect Proof
- 41 Logic 101 (#40): Conditional Proofs
- 42 Logic 101 (#41): Tautologies
- 43 Logic 101 (#42): Nested Proofs
- 44 Logic 101 (#43): Proof Practice #1
- 45 Logic 101 (#44): Proof Practice #2, Proof By Contradiction Edition
- 46 Logic 101 (#45): Proof Practice #3, Nested Conditional Proofs Edition
- 47 Logic 101 (#46): Proof By Cases (Killer Proof Strategy #3)
- 48 Logic 101 (#47): Biconditional Tautologies
- 49 Logic 101 (#48): Affirming the Consequent
- 50 Logic 101 (#49): Denying the Antecedent
