Congiunzione logica

Da Wikipedia, l'enciclopedia libera.

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

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

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

Tabella di verità:

A B A\landB
V V V
V F F
F V F
F F F

Proprietà[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica