blanketglossary

Truth table

Definition

A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid.

Related concepts

Absorption (logic)Abstract logic Ackermann set theory Aleph number Alfred Tarski Algebraic logic Alphabet (formal languages)American Journal of Mathematics Argument Argument map Arity Array data structure Associative property Atomic formula Atomic model (mathematical logic)Atomic sentence Augustus De Morgan Automata theory Automated theorem proving Axiom Axiom of choice Axiom schema Axiomatic system Axiomatization of Boolean algebras Banach–Tarski paradox Begriffsschrift Bernard Bolzano Bertrand Russell Biconditional Biconditional elimination Biconditional introduction Bijection Binary decision diagram Binary numeral system Binary operation Binary variable Bit Boolean-valued function Boolean algebra Boolean algebra (logic)Boolean algebras canonically defined Boolean domain Boolean function Boolean logic C.S. Peirce Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinality Carroll diagram Cartesian product Categorical theory Category (mathematics)Category of sets Category theory Charles Sanders Peirce Church encoding Church–Turing thesis Class (set theory)Classical logic Codomain Colin Howson Commutative property Commutativity of conjunction Compactness theorem Complement (set theory)Complete theory Compound operation (computing)Computability theory Computable function Computable set Computably enumerable set Concrete category Conjunction elimination Conjunction introduction Conservative extension Consistency Constructible universe Construction of the real numbers Constructive dilemma Constructive set theory Continuum hypothesis Contradiction Converse (logic)Converse implication Converse nonimplication Countable set De Morgan's laws Decidability (logic)Decision problem Decision table Deductive system Destructive dilemma Diagram (mathematical logic)Digital circuit Disjunction elimination Disjunction introduction Disjunctive syllogism Distributive property Domain of a function Double exponential function Double negation elimination Double negation introduction Duality principle (Boolean algebra)Electronic design automation Element (mathematics)Elementary diagram Elementary equivalence Elementary function arithmetic Emil Leon Post Emil Post Empty set Encyclopedia of Mathematics Enriched category Enumeration Equiconsistency Equivalence relation Ernst Schröder (mathematician)Euclid's Elements Euclidean geometry Euler diagram European Mathematical Society Excitation table Exclusive disjunction Exclusive nor Exclusive or Existential generalization Existential graph Existential instantiation Existential quantification Exponential growth Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Falsum Finitary relation Finite-valued logic Finite model theory Finite set First-order logic Fixed-point logic Forcing (mathematics)Formal grammar Formal language Formal proof Formal semantics (logic)Formal system Formation rule Foundations of geometry Foundations of mathematics Free logic Free variables and bound variables Full adder Function (mathematics)Function and Concept Functional completeness Functional predicate Fuzzy set General set theory Georg Cantor Georg Henrik von Wright George Boole Giuseppe Peano Gottlob Frege Grothendieck universe Ground expression Ground formula Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Halting problem Henry M. Sheffer Herbert Enderton Hereditary set Higher-order logic Hilbert's axioms Hilbert system History of logic History of mathematical logic Hugh MacColl Hypothetical syllogism Identity function If and only if Image (mathematics)Inaccessible cardinal Independence (mathematical logic)Inference Infinite-valued logic Infinite set Information theory Inhabited set Injective function Integer Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Irving Anellis Isomorphism Jan Łukasiewicz Józef Maria Bocheński Karnaugh map Karnaugh maps Kolmogorov complexity Kripke's theory of truth Kripke–Platek set theory Kurt Gödel Lambda calculus Lander University Large cardinal Law of excluded middle Law of noncontradiction Left identity Lemma (mathematics)Lindström's theorem List of Hilbert systems List of axioms List of first-order theories List of formal systems List of mathematical theories List of set identities and relations List of statements independent of ZFC Logic Logic gate Logical NAND Logical NOR Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical graph Logical negation Logical operation Logical truth Logical value Logically equivalent Logicism Lookup table Ludwig Wittgenstein Löwenheim–Skolem theorem Many-valued logic Map (mathematics)Material conditional Material implication (rule of inference)Material nonimplication Mathematical logic Mathematical object Mathematical table Metalanguage Method of analytic tableaux Minimal axioms for Boolean algebra Model complete theory Model theory Modus ponendo tollens Modus ponens Modus tollens Monadic predicate calculus Monadic second-order logic Monoid Monotonicity of entailment Morse–Kelley set theory Multiplexer NIMPLY gate NP (complexity)Naive set theory Natural deduction Negation Negation introduction New Foundations Non-Euclidean geometry Non-logical symbol Non-standard model Non-standard model of arithmetic Open formula Operation (mathematics)Ordinal analysis Ordinal number P (complexity)P versus NP problem Paradoxes of set theory Partition of a set Peano axioms Peirce arrow Philosophy of logic Philosophy of mathematics Porphyrian tree Power set Predicate (mathematical logic)Predicate logic Predicate variable Prime model Primitive recursive arithmetic Primitive recursive function Principia Mathematica Principle of bivalence Principle of explosion Problem of multiple generality Programming language Projection (set theory)Projection function Proof net Proof of impossibility Proof theory Proposition Propositional calculus Propositional directed acyclic graph Propositional formula Propositional variable Publicad Quantifier (logic)Quantifier rank Randolph diagram Recursion Recursive set Reductio ad absurdum Relation (mathematics)Reverse mathematics Richard Dedekind Right identity Robinson arithmetic Rule of inference Russell's paradox Satisfiability Saturated model Schröder–Bernstein theorem Scope (logic)Second-order arithmetic Second-order logic Self-verifying theories Semantic theory of truth Semantics of logic Sentence (mathematical logic)Sentential decision diagram Sequent calculus Set (mathematics)Set theory Sheffer stroke Signature (logic)Singleton (mathematics)Skolem arithmetic Software Sole sufficient operator Soundness Spectrum of a sentence Spectrum of a theory Square of opposition State-transition table Stephen Cole Kleene Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Substitution (logic)Substructure (mathematics)Supertask Surjective function Syllogism Symbol (formal)Syntax (logic)T-schema Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Tee (symbol)Term (logic)Term logic The Principles of Mathematics Theorem Theories of truth Theory (mathematical logic)Three-valued logic Timeline of mathematical logic Tractatus Logico-Philosophicus Transfer principle Transitive set Transposition (logic)True arithmetic Truth function Truth predicate Truth value Turing machine Type (model theory)Type theory Ultrafilter (set theory)Ultraproduct Uncountable set Undecidable problem Uninterpreted function Union (set theory)Uniqueness quantification Universal generalization Universal instantiation Universal quantification Universal set Universe (mathematics)Urelement Validity (logic)Valuation (logic)Variable (mathematics)Venn diagram Verso Von Neumann universe Von Neumann–Bernays–Gödel set theory W.V. Quine Well-formed formula Willard Van Orman Quine XNOR gate XOR Zermelo–Fraenkel set theory

142 concepts already in your glossary