Закон исключенного третьего — один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V A) является тождественно истинным. З.И.Т. подвергался критике и отвергался логиками, стоящими на позиции интуиционистской математики и конструктивной математики.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]