Формулу исчисления предикатов ∀x ∃y (A(x) & C(x) & (S(x, y) ∨ A(y)))
необходимо
привести к Сколемовской стандартной форме. Какой вариант преобразования будет
правильным:
- A(a) & C(a) & (S(a, b) ∨ A(b))
- Все варианты неверны
- ∀x (A(x) & C(x) & (S(x, a) ∨ A(a)) )
- ∀x (A(x) & C(x) & (S(x, f(x)) ∨ A(f(x)) ) )
- ∃y (A(a) & C(a) & (S(a, y) ∨ A(y)) )
Для просмотра статистики ответов нужно
залогиниться.