Logic 101

These lectures cover introductory sentential logic, a method used to draw inferences based off of an argument’s premises. Sentential logic (also known as propositional calculus) is an integral part of discrete math, set theory, computer programming, law, philosophy, game theory, and all other proof-based disciplines. This course begins with basic logical operators before moving to truth tables, replacement rules, inference rules, and proof strategies.

The course is currently under construction. Check back for updates or subscribe to my YouTube channel to keep up-to-date.

The Beginning

  1. Introduction
  2. Overview

Simple Sentences and Operations

  1. Finding Simple Sentences
  2. Representing Simple Sentences
  3. Negation
  4. OR/Disjunction
  5. Compound Sentences
  6. AND/Conjunction
  7. Conditional (IF-THEN) Statements
  8. Biconditional (IF AND ONLY IF)

Truth Tables

  1. Truth Tables Introduction
  2. Truth Table Practice
  3. Why Are “Vacuously True” Statements True?
  4. Exclusive OR
  5. Complicated Truth Tables

Replacement Rules

  1. Double Negation
  2. Material Implication
  3. Contraposition
  4. DeMorgan’s Law, Part 1
  5. DeMorgan’s Law, Part 2
  6. Applying Replacement Rules
  7. Associativity
  8. Commutativity
  9. Hard Replacement Rule Problem
  10. Distribution
  11. Idempotence

Rules of Inference

  1. Modus Ponens
  2. Modus Tollens
  3. Disjunctive Syllogism
  4. Hypothetical Syllogism
  5. Constructive Dilemma
  6. Destructive Dilemma
  7. Conjunction Introduction
  8. Simplification
  9. Biconditional Introduction and Elimination
  10. Disjunction Introduction

Proofs

  1. Introduction to Proofs
  2. Killer Proof Strategy #1: DeMorgan’s Everything!
  3. Killer Proof Strategy #2: Work Backward
  4. Proof by Contradiction/Indirect Proof
  5. Conditional Proofs
  6. Tautologies
  7. Nested Proofs
  8. Proof Practices #1, #2, and #3
  9. Killer Proof Strategy #3: Proof by Cases
  10. Biconditional Tautologies

Formal Fallacies

  1. Affirming the Consequent
  2. Denying the Antecedent