Disgiunzione logica

La disgiunzione inclusiva o disgiunzione logica è un connettivo logico (o, talvolta indicato come e/o), attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A o B oppure A vel B la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti p(x) e q(x), l’insieme di verità di corrisponde all’unione tra i due insiemi di verità.