Las tablas de verdad: son, por una parte, uno de los métodos más sencillos y conocidos de la lógica formal, pero almismo tiempo también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma.
Ejemplo