verita, funzione di

verita, funzione di

verità, funzione di nella logica proposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori di verità (per esempio VVFVFVVVF), uno dei due valori V o F. Ogni tavola di verità definisce una funzione di verità; per esempio la tavola di verità associata al connettivo ∨ della disgiunzione definisce la funzione disg seguente:

Viceversa a ogni funzione di verità è associata una tavola di verità. Le funzioni di verità sono → funzioni calcolabili; infatti è sempre possibile calcolare il valore di verità di una forma enunciativa, conoscendo i valori di verità delle lettere enunciative che vi compaiono.