User:Sawyeriii/Books/SawyerIII1776


 * Logical connective
 * Functional completeness
 * Arity
 * Ternary operation
 * Unary operation
 * Binary operation
 * Logic
 * Truth value
 * Propositional calculus
 * Negation
 * Truth table
 * Intuitionistic logic
 * Truth
 * Tautology (logic)
 * Proposition
 * Validity
 * Well-formed formula
 * Formal language
 * Stanford Encyclopedia of Philosophy
 * Symbol (formal)
 * Formal system
 * First-order logic
 * Interpretation (logic)
 * Model theory
 * Logical disjunction
 * Mathematical logic
 * Philosophy
 * Modal logic
 * Predicate logic
 * Quantification