Congiunzione logica

Da Wikipedia, l'enciclopedia libera.

In matematica, la congiunzione logica (simbolo che si legge e) è un connettivo logico attraverso il quale, a partire da due proposizioni e , si forma una nuova proposizione chiamata congiunzione di e o congiunzione di et , che si indica con , la quale è vera soltanto nel caso in cui e siano entrambe vere, mentre è falsa in tutti gli altri casi possibili.

Quando si hanno due enunciati aperti e , l'insieme di verità di corrisponde all'intersezione tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione.

La congiunzione in algebra booleana è indicata con l'operatore AND.

Tabella di verità:

A B AB
V V V
V F F
F V F
F F F

Proprietà[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

Controllo di autorità GND: (DE4164990-4
Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica