Ответ на вопрос №6947: Формулу исчисления предикатов ƎxⱯy(A(x)&C(x)&(S(x, y)vA(y))) необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным? ⱯyƎx(A(x)&C(x)&{S(x,y)vA(y))) Ɐx(A(x)&C(x)&(S(x, b)vA(b))) ƎX(A(x)&C(x)&(S(x, a)vA(a))) Ɐy(A(a)& C(a)&(S(a, y)vA(y))) A(a)&C(a)&(S(a. b)vA{b)) Формулу исчисления предикатов ƎxⱯy(A(x)&C(x)&(S(x, y)vA(y))) - Ответ на вопрос №6947Формулу исчисления предикатов ƎxⱯy(A(x)&C(x)&(S(x, y)vA(y))) - Ответ на вопрос №6947
2023-12-262023-12-26СтудИзба
Формулу исчисления предикатов ƎxⱯy(A(x)&C(x)&(S(x, y)vA(y))) - Ответ на вопрос №6947
-47%
Вопрос
Формулу исчисления предикатов ƎxⱯy(A(x)&C(x)&(S(x, y)vA(y))) необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным?- ⱯyƎx(A(x)&C(x)&{S(x,y)vA(y)))
- Ɐx(A(x)&C(x)&(S(x, b)vA(b)))
- ƎX(A(x)&C(x)&(S(x, a)vA(a)))
- Ɐy(A(a)& C(a)&(S(a, y)vA(y)))
- A(a)&C(a)&(S(a. b)vA{b))
Ответ

Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать