Disgiunzione logica: differenze tra le versioni

La '''disgiunzione inclusiva''' è un [[connettivo logico]] ('''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'' eè verevera 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 congiunzione gode delle stesse proprietà dell'unione.