La tabla de la verdad muestra todos los valores de verdad posibles para una proposición compuesta, dependiendo de las combinaciones de valores de verdad (verdadero o falso) de sus proposiciones componentes. Fue desarrollada por Charles Sanders Peirce en la década de 1880 y popularizada por Ludwig Wittgenstein en 1921. Define los operadores lógicos como la negación, conjunción, disyunción, implicación y equivalencia y sus valores de verdad correspondientes.