User:Matthew Kastor/Books/Logical


Logical

This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance).

Edit this book: Book Creator · Wikitext

Order a printed copy from: PediaPress

[ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ]

Logical

Articles with a wide scope and introductions: Algebra of sets; Boolean algebra (structure); Boolean algebra; Field of sets; List of logic symbols; Logical connective; Necessity and sufficiency; Propositional calculus; Truth function
General Information and Vocabulary: 2-valued morphism; Bitwise operation; Boolean data type; Boolean expression; Boolean satisfiability problem; Boolean-valued model; Booleo; Chaff algorithm; Correlation immunity; Davis–Putnam algorithm; DPLL algorithm; Formula game; Join (sigma algebra); Logic alphabet; Logic redundancy; Logical matrix; Logical value; Modal algebra; Petrick's method; Product term; Propositional formula; Stone duality; Stone functor; True quantified Boolean formula; Truth value; Vector logic
Visualization: Binary decision diagram; Implication graph; Karnaugh map; Propositional directed acyclic graph; Quine–McCluskey algorithm; Reed–Muller expansion; Truth table; Venn diagram
Logical Connectives and functions: Ampheck; Balanced boolean function; Bent function; Boolean algebras canonically defined; Boolean function; Boolean-valued function; Conditioned disjunction; Converse implication; Converse nonimplication; Evasive Boolean function; Exclusive or; False (logic); Functional completeness; If and only if; Inclusion (Boolean algebra); Indicative conditional; Indicator function; Logical NOR; Logical biconditional; Logical conjunction; Logical disjunction; Logical equality; Logical implication; Logical negation; Lupanov representation; Majority function; Material conditional; Material equivalence; Material nonimplication; Modal operator; Negation; Parity function; Peirce arrow; Sheffer stroke; Sole sufficient operator; Statement (logic); Strict conditional; Symmetric Boolean function; Symmetric difference; Tautology (logic); Zhegalkin polynomial
Syntax: Algebraic normal form; Boolean conjunctive query; Canonical form (Boolean algebra); Conjunctive normal form; Disjunctive normal form; Formal system
Normal Forms: Blake canonical form; Canonical normal form; Herbrand normal form; Herbrandization; Horn clause; Negation normal form; Prenex normal form; Skolem normal form
Theorems and specific laws: Absorption law; Boole's expansion theorem; Boolean prime ideal theorem; Compactness theorem; Consensus theorem; De Morgan's laws; Duality (order theory); Laws of classical logic; Peirce's law; Poretsky's law of forms; Stone's representation theorem for Boolean algebras
Philosophy: Boole's syllogistic; Entitative graph; Existential graph; Implicant; Laws of Form; Logical graph
Examples of Boolean algebras: Boolean domain; Boolean ring; Goodman–Nguyen–van Fraassen algebra; Interior algebra; Lindenbaum–Tarski algebra; Relation algebra; Residuated Boolean algebra; Robbins algebra; Sigma-algebra; Topological Boolean algebra; Two-element Boolean algebra
Extensions and generalizations: Complete Boolean algebra; Derivative algebra (abstract algebra); First-order logic; Free Boolean algebra; Heyting algebra; Monadic Boolean algebra; Skew lattice
Technical applications: And-inverter graph; Boolean analysis; Boolean operations in computer-aided design; Circuit minimization; Espresso heuristic logic minimizer; Logic gate
People: Augustus De Morgan; Charles Sanders Peirce; George Boole; Ivan Ivanovich Zhegalkin; John Venn; Marshall Harvey Stone; William Stanley Jevons
Propositional Calculus: Clause (logic); Contradiction; Deductive closure; Formation rule; Frege system; Frege's propositional calculus; Implicational propositional calculus; Intermediate logic; List of logic systems; Literal (mathematical logic); Logical consequence; Nicod's axiom; Open sentence; Predicate (mathematical logic); Principle of distributivity; Proof by contrapositive; Proposition; Propositional proof system; Propositional variable; Rule of inference; Rule of replacement; Second-order propositional logic; Substitution (logic); Syncategorematic term; System L; Unsatisfiable core; Zeroth-order logic
Propositional Fallacies: Affirming a disjunct; Affirming the consequent; Denying the antecedent
Rules of Inference: List of rules of inference; Absorption (logic); Admissible rule; Associative property; Biconditional elimination; Biconditional introduction; Commutative property; Commutativity of conjunction; Conjunction introduction; Constructive dilemma; Contraposition (traditional logic); Destructive dilemma; Disjunction elimination; Disjunction introduction; Disjunctive syllogism; Distributive property; Double negative elimination; Existential generalization; Existential instantiation; Exportation (logic); Hypothetical syllogism; List of valid argument forms; Material implication (rule of inference); Modus non excipiens; Modus ponendo tollens; Modus ponens; Modus tollens; Negation as failure; Resolution (logic); SLD resolution; Simplification; Structural rule; Tautology (rule of inference); Transposition (logic); Universal generalization; Universal instantiation
Theorems in Propositional Logic: Case analysis; Consequentia mirabilis; Contraposition; Double negation; Frege's theorem; Idempotency of entailment; Law of excluded middle; Law of identity; Law of noncontradiction; Monotonicity of entailment; Principle of explosion; Proof by contradiction; Reductio ad absurdum