Le tabelle di verità sono una semplice strategia logica che consente di stabilire la validità di varie proposte relative a qualsiasi situazione, ovvero determina le condizioni necessarie affinché una proposizione proposta sia vera, consentendo loro di essere classificate come tautologiche (sono vere in qualsiasi situazione). ) contraddittorie (nella maggior parte dei casi sono dichiarazioni false) o contingenti (affermazioni che non possono essere così vere quanto non ci sono tendenze a senso unico).
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 del risultato e sono soddisfatte si dice che siano vere, nel caso contrario che non sono soddisfatte viene assegnato il nome di falso, ad esempio: Dichiarazione : "Se ci muoviamo, il mio cane muore" . Variabili: A: Se ti sposti- B: il cane muore.
Se si dice che entrambe le variabili sono vere, la lettera (V) viene assegnata e rappresenta la positività dell'istruzione, se alcune delle variabili non vengono soddisfatte, viene assegnata la lettera (F), ciò non rappresenta la falsità dell'istruzione poiché con una singola variabile può essere designata come vera, che dipenderà dall'istruzione. Quando entrambi i valori sono veri in tutte le occasioni, si dice che esiste una coniugazione nell'affermazione; invece, si ottengono due risultati veri, e poi uno vero e l'altro risultato falso, si dice che esiste una disgiunzione .
