Insieme di verità
L'insieme di verità di un enunciato aperto P(x) è l'insieme dei valori valori che, sostituiti alla variabile x, rendono vera ( V ) la relativa proposizione logica. L'insieme di verità è un sottoinsieme dell'insieme universo U a cui appartengono tutti i valori assegnabili alla variabile x.
Esempio di insieme di verità
Ad esempio, dato un insieme universo U { 1, 2, ... , 7 } e un enunciato logico P(x): "x è multiplo di tre", l'insieme di verità di P(x) è un sottoinsieme dell'insieme universo composto dai numeri { 3, 6 }, i quali sono multipli del numero tre.
Viceversa, tutti gli altri numeri dell'insieme universo U che non soddisfano l'enunciato { 1, 2, 4, 5, 7 } sono, invece, esclusi dall'insieme di verità e sono inclusi nell'insieme complementare.
L'insieme complementare
I valori della variabile x che rendono l'enunciato vero appartengono all'insieme di verità. Viceversa, i valori dell'insieme universo U che rendono falso l'enunciato aperto appartengono all'insieme complementare rispetto all'insieme universo U.