Привести к предваренной нормальной форме следующий предикат:
Ответ
0 (0 оценок)
0
jonasespinoza384 1 год назад
Светило науки - 26 ответов - 569 раз оказано помощи
Для некоторых x, из P(x) следует, что для некоторых x верно S(x).Квантор существования надо вынести в начало и преобразовать операцию следования (что и будет предваренной нормальной формой).Ща, секунду...

Остались вопросы?