Ответ на вопрос №173064: Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в Сколемовской стандартной форме (ССФ). Затем было построено множество дизъюнктов S. Выберите правильный вариант множества S S=[ A(a) & C(a), S(a, y) v A(y) } S=[A(a) & C(a) & (S(a, y) v A(y)) ] S=[ A(a), C(a), S(a, y), A(y) ] S=[ A(a), C(a), S(a, y) V A(y)} Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в - Ответ на вопрос №173064Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в - Ответ на вопрос №173064
2024-10-272024-10-27СтудИзба
Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) представлена в - Ответ на вопрос №173064
Вопрос
ФормулаVy (A(a) & C(a) & (S(a, y) v A(y)))
представлена в Сколемовской стандартной форме (ССФ).
Затем было построено множество дизъюнктов S.
Выберите правильный вариант множества S
- S=[ A(a) & C(a), S(a, y) v A(y) }
- S=[A(a) & C(a) & (S(a, y) v A(y)) ]
- S=[ A(a), C(a), S(a, y), A(y) ]
- S=[ A(a), C(a), S(a, y) V A(y)}
Ответ
Алёна Руденко
alena.rudenko.88
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
