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