Akademik

(франц. alternative, лат. alter – один из двух)

необходимость выбора между взаимоисключающими двумя возможностями, обусловленная потребностью nolens volens решиться на одно из двух.

[франц. alternative, от лат. alternus – попеременный (alter, здесь – один из двух)] – необходимость выбора между двумя или несколькими исключающими друг друга возможностями. В формальной логике А. – каждый из членов суждений типа: "S есть или Р1, или не Р2" и "S1, есть Р1, или S2 есть Р2". В математич. логике под А. понимают функцию-высказывание, в к-рой два аргумента связаны союзом "или" (символически знаком "V" или "+"), чаще называемую дизъюнкцией.

Лит.: Строгович М. С., Логика, М., 1949; Джевонс [В. С.], Основания логики, пер. [с англ.], СПБ, 1878; Mostowski Α., Logika matematyczna. Warsz.–Wr., 1948.