User:Djhmoore/Books/ClassicalLogic

and other logics

 * Classical logic
 * Law of excluded middle
 * Double negation
 * Law of noncontradiction
 * Principle of explosion
 * Law of identity
 * Monotonicity of entailment
 * Idempotency of entailment
 * Commutativity of conjunction
 * De Morgan's laws
 * Logical connective
 * Principle of bivalence
 * Two-element Boolean algebra
 * Algebraic logic
 * Paraconsistent logic
 * Modal logic
 * Quantum logic