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