Este documento explica qué son las tablas de verdad y cómo funcionan. Las tablas de verdad son una herramienta de la lógica formal para demostrar propiedades lógicas y semánticas de enunciados. Fueron desarrolladas por Charles Sanders Peirce en 1880 y popularizadas por Ludwig Wittgenstein en 1921. Las tablas asignan valores de verdad (V o F) a proposiciones y pueden usarse para determinar la validez de argumentos lógicos.