verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. affidabilità: I 85 f. (b) [ALG] [ELT] [FAF] Nella logica proposizionale, quadro dei valori di v. (v. oltre) assumibili da una funzione in corrispondenza ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori di v.: i due valori vero e falso della logica proposizionale: v. logica: III 483 d.