Logic

K-12 TLC Student Guide to Mathematics K-12 TLC Guide to Philosophy K-12 TLC Guide to Problem Solving K-12 TLC Guide to Puzzles

Truth Tables
Boolean Logic

Conditionals & Biconditionals, Contradiction, Contrapositives, Converse, Inverse
Logical Equivalence, Tautologies

Logic	K-12 TLC Guide to George Boole. K-12 TLC Guide to Lewis Carroll. K-12 TLC Guide to Kurt Gödel. K-12 TLC Guide to Giuseppe Peano. K-12 TLC Guide to Bertrand Russell. Binary Logic, University College London. Definitions of Logic Terms: Imperial College. Game Theory: K-12 TLC Guide. The History of Formal Logic. Introduction to Logic, Hofstra University. Laboratory of Mathematical Logic. The Logic of Lewis Carroll: K-12 TLC Guide. Numbers and Their Application to Math and Science, Andrews University: Logical Reasoning. To Tell the Truth. Symbolic Logic, Earlham College: Basic Terms of Logic. Justifying the Rule of Rigor. Paradoxes of Material Implication. Predicate Logic Terms and Symbols. Derivations in Predicate Logic. Propositional Logic Terms and Symbols. Translation Tips. Truth-Functional Logic, Probability and Combinatorics, University of Maryland: Basic Terms of Logic. Justifying the Rule of Rigor. Paradoxes of Material Implication. Predicate Logic Terms and Symbols. Derivations in Predicate Logic. Stephen's Guide to Logical Fallacies.
Logic Truth Tables	Andrews University. Binary Logic - Truth Tables, University College London. Imperial College. Philosophical Dictionary, The Philosophy Pages. Statements, Truth Values and Truth Tables, University of California, Santa Barbara. Stephen's Guide to Logical Fallacies. Symbolic Logic, Earlham College: Propositional Logic Terms and Symbols. Short-Cut Truth Table Method and Forking. Truth Trees for Propositional Logic. Testing Equality with Truth Tables, Think Quest. Truth Table Maker, University of Tennessee-Knoxville. University of Waterloo.
Logic Conditionals & Biconditionals	Biconditionals and Combinations of Connectives, University of North Carolina Charolette. The Conditional and the Biconditional, Hofstra University. Conditional Statements, University of Maryland. Linguistic Glossary, SIL International: Conditional Relation. Biconditional Relation. Merriam-Webster Online. Philosophical Dictionary, The Philosophy Pages: Conditional. Biconditional. Propositional Logic Terms and Symbols, Earlham College. Stephen's Guide to Logical Fallacies. Truth-Functional Logic, Probability and Combinatorics, University of Maryland: The Conditional. Conditional Statements. University of Waterloo.
Logic Contradiction	The Philosophy Pages: Philosophical Dictionary. Statement Forms. Proof by Contradiction, University of Maryland. Tautologies and Contradictions, University of Western Ontario.
Logic Contrapositives	The Contrapositive and Equivalent Forms, University of California, Santa Barbara. Converse, Inverse and Contrapositive, University of Western Ontario. Interactive Mathematics Online, Think Quest: Conditionals. Geometry Glossary. Logical Reasoning, Andrews University. Merriam-Webster Online. The Philosophy Pages: Contraposition. Immediate Inferences. Related Conditionals: Converse, Inverse, Contrapositive, New York State Regents Exam Prep Center: Contrapositives. Related Conditionals - Warm Up. Working with Related Conditionals. Truth-Functional Logic, Probability and Combinatorics, University of Maryland: The Conditional. Conditional Statements. University of Waterloo.
Logic Converse	Converse, Inverse and Contrapositive, University of Western Ontario. Interactive Mathematics Online, Think Quest. Conditionals. Geometry Glossary. Logical Reasoning, Andrews University. The Philosophy Pages: Conversion. Immediate Inferences. Related Conditionals: Converse, Inverse, Contrapositive, New York State Regents Exam Prep Center: Converse. Related Conditionals - Warm Up. Working with Related Conditionals. Truth-Functional Logic, Probability and Combinatorics, University of Maryland: The Conditional. Conditional Statements. University of Waterloo.
Logic Inverse	Converse, Inverse and Contrapositive, University of Western Ontario. Interactive Mathematics Online, Think Quest. Conditionals. Geometry Glossary. Logical Reasoning, Andrews University. Related Conditionals: Converse, Inverse, Contrapositive, New York State Regents Exam Prep Center: Inverse. Related Conditionals - Warm Up. Working with Related Conditionals. Truth-Functional Logic, Probability and Combinatorics, University of Maryland: The Conditional. Conditional Statements.
Logic Logical Equivalence	Logical Equivalence and Implication, California State University, Santa Barbara. Logical Equivalence, Tautologies and Contradictions, Hofstra University. Mathematical Logic, University of Western Ontario. Philosophical Dictionary, The Philosophy Pages. University of Waterloo.
Logic Tautologies	Imperial College. Logical Equivalence, Tautologies and Contradictions, Hofstra University. Merriam-Webster Online. The Philosophy Pages: Philosophical Dictionary. Statement Forms. Tautologies and Contradictions, University of Western Ontario.
Logic	*Modern Logic, University of Edinburgh. Notre Dame Journal of Formal Logic*.

If you find links that are either unsuitable or no longer current, please contact the TLC.

This guide last edited 03/21/2007
This guide last revised 09/04/2008