M5 Home Page

Logic
General Introduction to Logic

Ed Bender

Logic

Boolean Logic

Ed Bender	Boolean Functions and Computer Arithmetic
Infoplease	Boolean Algebra

Propositional Calculus

University of Oxford	Propositional Calculus: Language
University of Oxford	Propositional Calculus: Tableaux

Predicate Calculus

University of Oxford	Predicate Calculus: Language
University of Oxford	Predicate Calculus: Tableaux
University of Oxford	Predicate Calculus with Identity

Other Specific Topics

Keith Calkins	Good Definitions
Keith Calkins	Statements and Conjectures
University of Oxford	Consistency and Validity
University of Oxford	Designators
University of Oxford	Relations

Interactive Demonstrations
Online Practice
Worksheets