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