Les tables de vérité est une logique de stratégie simplement qui établit la validité de plusieurs propositions concernant toute situation, c'est à dire, détermine les conditions nécessaires pour être vraie une proposition d'énoncé, permettant de classer en tautologique (sont vraies pour toute situation) contradictoires (les déclarations sont fausses dans la plupart des cas) ou contingentes (les déclarations qui ne peuvent pas être nombreuses sont vraies et fausses ne sont pas enclines à une seule direction).
Il permet différents aspects de l'énoncé, tels que les conditions qui le rendent vrai et quelles sont ses conclusions logiques, c'est-à-dire si l'énoncé proposé est vrai ou faux. Ce tableau a été conçu par Charles Sander Peirce vers 1880, mais le plus largement utilisé est le modèle mis à jour par Luidwin Wittgenstein en 1921.
La construction du tableau est basée sur l'utilisation d'une lettre pour les variables de résultat et elles sont remplies et elles sont dites vraies, dans le cas contraire où elles ne sont pas remplies, on leur attribue le nom de faux, par exemple: Déclaration: "Si on bouge, mon chien meurt . " Variables: A: s'il bouge - B: le chien meurt.
S'il est dit vrai pour les deux variables, la lettre (V) est attribuée et représente la positivité de l'énoncé, si certaines des variables ne sont pas remplies, la lettre (F) leur est attribuée, cela ne représente pas la fausseté de l'énoncé car avec Si une seule variable est satisfaite, elle peut être désignée comme vraie, cela dépendra de l'instruction. Lorsque les deux valeurs sont vraies en tout temps, on dit qu'il y a une conjugaison dans l'énoncé, par contre, si deux vrais résultats sont obtenus et puis un vrai et l'autre faux, on dit qu'il y a disjonction.
