As tabelas de verdade são uma estratégia lógica simplesmente que estabelece a validade de várias propostas em relação a qualquer situação, ou seja, determina as condições necessárias para ser verdadeira uma afirmação proposta, permitindo classificá-la em tautológica (são verdadeiras para qualquer situação) contraditórias (declarações são falsas na maioria dos casos) ou contingentes (declarações que não podem ser muitas verdadeiras e falsas não tendem a uma direção).
Permite diferentes aspectos do enunciado como as condições que o tornam verdadeiro e quais são as suas conclusões lógicas, ou seja, se o enunciado proposto é verdadeiro ou falso. Esta tabela foi concebida por Charles Sander Peirce por volta de 1880, mas a mais usada é o modelo atualizado por Luidwin Wittgenstein em 1921.
A construção da tabela baseia-se na utilização de uma letra para as variáveis de resultado e se cumprem e se dizem verdadeiras, caso contrário são atribuídos o nome de falso, por exemplo:: "Se nos movermos, meu cachorro morre . " Variáveis: A: Se se mover- B: o cão morre.
Se for dito que é verdadeiro para ambas as variáveis, a letra (V) é atribuída a elas e representa a positividade do enunciado, se alguma das variáveis não forem preenchidas, a letra (F) é atribuída a elas, isso não representa a falsidade do enunciado, pois com Se apenas uma variável for satisfeita, pode ser designada como verdadeira, isso dependerá da afirmação. Quando ambos os valores são verdadeiros em todas as ocasiões, diz-se que há uma conjugação no enunciado, por outro lado, se dois resultados verdadeiros forem obtidos e um verdadeiro e o outro falso, diz-se que há uma disjunção.
