Дизъюнкция

Дизъю́нкция, логическая операция, служащая для образования высказываний «${\displaystyle A}$ или ${\displaystyle B}$». В формализованных языках дизъюнкция высказываний ${\displaystyle A}$ и ${\displaystyle B}$ обозначается посредством ${\displaystyle A\lor B}$. Высказывания ${\displaystyle A}$ и ${\displaystyle B}$ называются дизъюнктивными членами высказывания ${\displaystyle A\lor B}$. Употреблению дизъюнкции в математической логике соответствует следующая истинностная таблица:

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A\lor B}$
И	И	И
И	Л	И
Л	И	И
Л	Л	Л