Disgiunzione logica: differenze tra le versioni

La '''disgiunzione inclusiva''' o '''disgiunzione logica''' (simbolo <math> \vee </math>, che si legge '''cosenodell'angolocompresotraueve''', talvolta indicato come '''e/o'''), in [[matematica]], è un [[connettivo logico]] attraverso il quale, a partire da due [[Proposizione (logica)|proposizioni]] ''A'' e ''B'', si forma una nuova proposizione <math>A\vee B</math> chiamata ''A o B'' oppure chiamata ''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 <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.