Disgiunzione enunciati
La disgiunzione degli enunciati è un'operazione logica che permette di individuare l'insieme di verità di due o più enunciati aperti in un medesimo insieme universo U, aventi tra loro una relazione di unione ( OR ). Dati due enunciati aperti A(x) e B(x) la disgiunzione degli enunciati consiste nell'unione degli insiemi di verità A(x) e B(x).
Ad esempio, se l'enunciato A(x) è "x è un numero pari" e l'enunciato B(x) è "x è un numero minore di 5" in riferimento a un medesimo insieme universo { 1, 2, ... , 7 }. L'insieme di verità di A(x) è { 2, 4, 6 } e l'insieme di verità di B(x) è { 1, 2, 3, 4 }. La disgiunzione dei due enunciati consente di ottenere l'insieme A(x) OR B(x) pari a { 1, 2, 3, 4, 6 }.
