Una funzione di verità è una funzione dal prodotto cartesiano
dell'insieme delle formule ben formate con l'insieme dei
modelli all'insieme dei valori
di verità.
Questo significa che, data una formula ben formata e un modello, la
funzione di verità restituisce un (e uno solo!) valore di verità.
Se, come spesso accade, l'insieme delle formule ben
formate è definito attraverso una grammatica context-free,
solitamente anche la funzione di verità è definita analogamente, costruendo il
valore di verità di una formula ben formata a partire dal valore di verità
delle sue componenti.