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

Simple Sentences and Operations

Truth Tables

Replacement Rules

Rules of Inference

Proofs

Formal Fallacies