M5 Home Page

Logic
General Introduction to Logic

Alan Selby	Elements of Reason
Alan Selby	Implication Rules
Alan Selby	Chains of Reason
Alan Selby	Longer Chains of Reason
Alan Selby	Islands and Divisions of Knowledge
Blackhawk Tech	Rules of Logic
Ed Bender	Logic

Boolean Logic

AllRefer.com	Boolean Algebra
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

Integrated Publishing	Fundamental Logic Circuits
Keith Calkins	Good Definitions
Keith Calkins	Statements and Conjectures
University of Oxford	Consistency and Validity
University of Oxford	Designators
University of Oxford	Relations
V. M. Smith	Truth Table and Logical Arguments Review

Interactive Demonstrations

Cynthia Lanius

Card Game

Online Practice

Hofstra	Statements and Logical Operators
Hofstra	Logical Equivalence, Tautologies, and Contradictions
Hofstra	Conditional and Biconditional
Hofstra	Tautological Implications and Tautological Equivalences
Hofstra	Rules of Inference
Hofstra	Arguments and Proofs
Hofstra	Predicate Calculus

Worksheets

Hofstra	Exercises: Statements and Logical Operators
Hofstra	Exercises: Logical Equivalence, Tautologies, and Contradictions
Hofstra	Exercises: Conditional and Biconditional
Hofstra	Exercises: Tautological Implications and Tautological Equivalences
Hofstra	Exercises: Rules of Inference
Hofstra	Exercises: Arguments and Proofs
Hofstra	Exercises: Predicate Calculus

Copyright 2004 by Brad Jolly
Page last updated: January 8, 2005