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

• ∀у (A(x) & C(x) & (S(x, b) ∨ ¬A(b)))
• ∀y (A(a) & C(a) & (S(a, y) ∨ ¬A(y)))
• ∃x (A(x) & C(x) & (S(x, a) ∨ ¬A(a)))
• A(a) & C(a) & (S(a, b) ∨ ¬A(b))
• ∀y ∃x (A(x) & C(x) & (S(x, y) ∨ ¬A(y)))

Другие предметы Колледж Логика предикатов интеллектуальные информационные системы ИИС колледж формула Сколемовская стандартная форма преобразование логических формул логика и информатика структура ИИС обучение в колледже методы логического вывода математическая логика прикладная информатика