In mathematical logic, truth functions, corresponding to such logical connectives as negation, conjunction, disjunction, implication, and equivalence, are defined using truth tables. In classical propositional calculus, truth tables are used in the verification of the general validity of formulas: A formula is generally valid if and only if in the last column of its table all are T's.
|[a1]||S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951) pp. 288|
|[a2]||W.S. Hatcher, "Foundations of mathematics" , Saunders (1968)|
Truth table. V.E. Plisko (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Truth_table&oldid=14099