Дизъюнкция. Большая российская энциклопедия

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

$A$	$B$	$A\lor B$
И	И	И
И	Л	И
Л	И	И
Л	Л	Л

Плиско Валерий Егорович. Первая публикация: Математическая энциклопедия под ред. И. М. Виноградова, 1979.