→ Пошук по сайту       Увійти / Зареєструватися
Знання Искусственный интеллект. Толковый словарь.

Искусственный интеллект — З


ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V ¬A) является тождественно истинным. З.И.Т. подвергался критике и отвергался логиками, стоящими на позиции интуиционистской математики и конструктивной математики.

ЗАКОН СНЯТИЯ ДВОЙНОГО ОТРИЦАНИЯ

Один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что всегда имеет место равенство A=A.