Disgiunzione , in logica, relazione o connessione di termini in una proposizione per esprimere il concetto "o"; è una dichiarazione di alternative (a volte chiamata "alternanza"). Per chiarezza, la disgiunzione esclusiva ( x o y , ma non entrambe), simbolizzata x ⊻ y , deve essere distinta dalla disgiunzione inclusiva ( x o y , o entrambe x e y ), simbolizzata x ∨ y . Vedi anche implicazione.
Questo articolo è stato recentemente rivisto e aggiornato da William L. Hosch, Associate Editor.