[00J] Una valutazione assegna ad ogni variabile un valore “vero” oppure “falso”. Conoscendo il valore delle variabili, e usando le note tabelle di verità per i connettivi 1 , si può calcolare il valore di ogni formula ben formata.
