Congiunzione logica

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

In logica, una congiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione chiamata appunto congiunzione.

Date due proposizioni e la congiunzione di e , indicata con , è 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]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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