Congiunzione enunciati

La congiunzione degli enunciati è un'operazione logica che consente di individuare l'insieme di verità di due o più enunciati aperti in un medesimo insieme universo U. Dati due enunciati aperti A(x) e B(x) la congiunzione degli enunciati consiste nell'intersezione 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 congiunzione dei due enunciati consente di ottenere l'insieme A(x) A∧ B(x) pari a { 2, 4 }.