M5 Home Page

General Introduction to Logic
Alan SelbyElements of Reason
Alan SelbyImplication Rules
Alan SelbyChains of Reason
Alan SelbyLonger Chains of Reason
Alan SelbyIslands and Divisions of Knowledge
Blackhawk TechRules of Logic
Ed BenderLogic

Boolean Logic
AllRefer.comBoolean Algebra
Ed BenderBoolean Functions and Computer Arithmetic
InfopleaseBoolean Algebra

Propositional Calculus
University of OxfordPropositional Calculus: Language
University of OxfordPropositional Calculus: Tableaux

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

Other Specific Topics
Integrated PublishingFundamental Logic Circuits
Keith CalkinsGood Definitions
Keith CalkinsStatements and Conjectures
University of OxfordConsistency and Validity
University of OxfordDesignators
University of OxfordRelations
V. M. SmithTruth Table and Logical Arguments Review

Interactive Demonstrations
Cynthia LaniusCard Game

Online Practice
HofstraStatements and Logical Operators
HofstraLogical Equivalence, Tautologies, and Contradictions
HofstraConditional and Biconditional
HofstraTautological Implications and Tautological Equivalences
HofstraRules of Inference
HofstraArguments and Proofs
HofstraPredicate Calculus

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

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