ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО — Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V A) является тождественно истинным. З.И.Т. подвергался критике и отвергался логиками, стоящими на позиции интуиционистской математики и конструктивной математики.
Штучний інтелект
Штучний інтелект
