Congiunzione logica: differenze tra le versioni

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

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

La congiunzione in [[w:algebra di Boole|algebra booleana]] è indicata con l'operatore ''AND''.