Disgiunzione logica: differenze tra le versioni

La '''disgiunzione inclusiva''' o ''disgiunzione logica'' è un [[connettivo logico]] ('''o''', talvolta indicato come '''e/o'''), attraverso il quale, a partire da due [[Proposizione|proposizioni]] ''A'' e ''B'', si forma una nuova proposizione chiamata ''A o B oppure ''A vel B'' <math>A\vee B</math> 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 <math> p(x) \vee q(x) </math> corrisponde all'[[unione (insiemistica)|unione]] tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione.