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

V (/, j) -x4(i, j)s^3(i,j) хч(/, j). Если же ямы находятся во всех ячейках, то это означает, что не существует ячейки, в которой не было бы ямы. Эту взаимосвязь можно выразить формулой V (I, j) *,(/, j) = - 3 (i, j) -. x,(i, j ). Продолжая аналогичные рассуждения и обозначая Р(х) любую формулу, переменная х которой связана кванторами, получаем следующие законы, характеризующие взаимосвязь между кванторами: 57 3. Логика предикатов V(x)-,P(x)m3(x)P(x). 3.1.8. Равенство Ранее рассматривался атом особого типа терм = терм, называемый равенством, в котором используется знак равенства в инфиксной форме. Этот знак, являющийся одновременно предикатным символом, свидетельствует о том, что формула терм = терм истинна только в том случае,'если оба терма соответствуют одному и тому же объекту. Обозначая константы символами X, Y, переменные символами х, у, функциональный символ символом F, это можно пояснить с помощью табл. 3.1.