Congiunzione logica
connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata congiunzione di A e B
Una congiunzione logica (simbolo che si legge e), in matematica, è 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.
A | B | AB |
---|---|---|
V | V | V |
V | F | F |
F | V | F |
F | F | F |
ProprietàModifica
- Proprietà di idempotenza:
- Proprietà commutativa:
- Proprietà associativa:
- Proprietà distributiva (rispetto alla disgiunzione inclusiva):
- Teorema dell'assorbimento (rispetto alla disgiunzione inclusiva):
- Legge di De Morgan
Voci correlateModifica
Altri progettiModifica
- Wikimedia Commons contiene immagini o altri file su congiunzione logica
Collegamenti esterniModifica
- Congiunzione logica, su sapere.it, De Agostini.
Controllo di autorità | GND (DE) 4164990-4 |
---|