This course aims to teach students the fundamentals of sentential logic through a series of video lectures. By the end of the course, learners will be able to identify and manipulate simple and compound sentences, construct truth tables, apply various logical rules, and engage in formal proofs. The teaching method involves a combination of theoretical explanations, examples, and practice problems. This course is designed for individuals interested in developing their critical thinking and analytical reasoning skills, particularly those with a curiosity for formal logic.
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
