Le tabelle di verità è una logica di strategia semplicemente che stabilisce la validità di diverse proposte riguardanti qualsiasi situazione, cioè, determina le condizioni necessarie per essere vera un'affermazione proposta, consentendo classificata in tautologica (sono vere per qualsiasi situazione) contraddittorie (le affermazioni sono false nella maggior parte dei casi) o contingenti (le affermazioni che non possono essere molte vere e false non sono inclini a una direzione).
Permette diversi aspetti dell'affermazione come le condizioni che la rendono vera e quali sono le sue conclusioni logiche, cioè se l'affermazione proposta è vera o falsa. Questo tavolo fu ideato da Charles Sander Peirce intorno al 1880, ma il più utilizzato è il modello aggiornato di Luidwin Wittgenstein nel 1921.
La costruzione della tabella si basa sull'uso di una lettera per le variabili di risultato e sono soddisfatte e si dice che siano vere, nel caso opposto che non siano soddisfatte viene assegnato loro il nome di falso, ad esempio: Dichiarazione: "Se ci muoviamo, il mio cane muore . " Variabili: A: Se si muove- B: il cane muore.
Se si dice vero per entrambe le variabili, viene assegnata la lettera (V) e rappresenta la positività dell'affermazione, se alcune delle variabili non sono soddisfatte, ad esse viene assegnata la lettera (F), ciò non rappresenta la falsità dell'affermazione poiché con Se solo una variabile è soddisfatta, può essere designata come vera, che dipenderà dall'istruzione. Quando entrambi i valori sono veri in ogni momento, si dice che c'è una coniugazione nell'affermazione, d'altra parte, se si ottengono due risultati veri e poi uno vero e l'altro falso, si dice che c'è una disgiunzione.