Формулу исчисления предикатов∃x∀y(A(x)&C(x)&(S(x, - Ответ на вопрос по ИИС №2218068
-21%
Вопрос
Формулу исчисления предикатов∃x∀y(A(x)&C(x)&(S(x, y)∨A(y)))необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным?Ответ
Этот вопрос в коллекциях
-28%


















