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

Правильно, только при чём здесь теория вероятностей?

я не нашла отдельно раздела мат.логика

Ну да, логично, ибо тут нет такого. Но уже в СДНФ я ни бум-бум, предупреждаю