(лат. alternus— попеременный) — необходимость выбора одного из двух (или нескольких) взаимно исключающих решений (возможностей); в математической логике — функция-высказывание, в к-ром два аргумента связаны союзом "или" (дизъюнкция).