Помогите решить задание.
Запишите высказывание «По крайней мере один студент пришел на экзамен» в виде формул с кванторами, предварительно введя обозначение для используемых предикатов. Сформулируйте отрицание полученного высказывания.
Я рассуждала так. Введем обозначение x- cтудент, P(x) - прийти на экзамен, тогда формула: ]x(P(x)).
Здесь значком "]" я заменила значок "существует" (не нашла в символах). Правильно ли?

Ну да, логично, ибо тут нет такого. Но уже в СДНФ я ни бум-бум, предупреждаю (IMG:style_emoticons/default/smile.gif)