Les taules de veritat és una estratègia de la lògica simple que permet establir la validesa de diverses propostes pel que fa a qualsevol situació, és a dir, determina les condicions necessàries perquè sigui veritable un enunciat proposat, permetent classificar-los en tautològics (resulten veritables durant qualsevol situació) contradictòries (són enunciats falses en la majoria dels casos) o contingents (enunciats que no poden serà tants veritables com a falsos no existeixen tendència a un sol sentit).
Permet diferents aspectes de l'enunciat com les condicions que el fan veritable i quines són les seves conclusions lògiques, és a dir, si l'enunciat proposat és vertader o fals. Aquesta taula va ser ideada per Charles Sander Peirce aproximadament el 1880, però la més utilitzada és el model actualitzat de Luidwin Wittgenstein en 1921.
La construcció de la taula està fonamentada en la utilització d'un lletra per a les variables de l'resultat i les mateixes es compleixen es diuen que són veritables, en el cas contrari que no es compleixi se'ls assigna l'apel·latiu de falses, per exemple: Enunciat: "Si ens vam mudar, el meu gos es mor" . Variables: A: Si es muda- B: el gos es mor.
Si es diu que és veritable a ambdues variables se'ls assigna la lletra (V) i representa la positivitat de l'enunciat, si algunes de les variables no es compleix se'ls assigna la lletra (F) això no representa la falsedat de l'enunciat ja que amb complir-se una sola variable es pot designar com a veritable, això dependrà de l'enunciat. Quan tots dos valors resulten veritables en totes les ocasions es diu que hi ha una conjugació en l'enunciat, en canvi sí s'obté dos resultats veritables i després un veritable i l'altre fals es diu que hi ha una disjunció.
