Предикаты

[cyb12]

Нет, надо было поставить отрицание перед всей формулой

[mosya12345]

cyb12 в сообщении #396824 писал(а):

Нет, надо было поставить отрицание перед всей формулой

не$ ( \forall x(A(x) \to \exists y(B(y) \& C(x,y))))$
Так?

[cyb12]

$\neg$

да

[mosya12345]

cyb12 огромное спасибо за помощь, буду теперь разбираться, чтобы пояснить всю эту запись словами. Что-то понимаю, а что-то буду домазговывать.
Еще раз ОГРОМНОЕ СПАСИБО. С ПРАЗДНИКАМИ. УДАЧИ ВАМ.