Congiunzione logica
Da Wikipedia, l'enciclopedia libera.
La congiunzione logica è un connettivo logico (e), 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 
, 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 
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.
| A | B | A B |
|---|---|---|
| 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):
- Legge di assorbimento (rispetto alla disgiunzione inclusiva):
- Legge di De Morgan
Voci correlate [modifica]
)
)
)
)
)
)
)
)
)
)
)
)
 Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica |
