Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Образовательный студенческий форум _ Теория вероятностей _ Математическая логика

Автор: Faina 24.10.2011, 19:52

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

Автор: malkolm 25.10.2011, 17:44

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

Автор: Faina 26.10.2011, 8:30

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

Автор: malkolm 26.10.2011, 17:21

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

Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)