 Математическая логика |
Здравствуйте, гость ( Вход | Регистрация )
| Faina |
 24.10.2011, 19:52
Сообщение
#1
|
|
Аспирант  Группа: Продвинутые Сообщений: 295 Регистрация: 9.3.2011 Город: Нижневартовск Учебное заведение: БирГПИ Вы: другое  |
Помогите решить задание.
Запишите высказывание «По крайней мере один студент пришел на экзамен» в виде формул с кванторами, предварительно введя обозначение для используемых предикатов. Сформулируйте отрицание полученного высказывания. Я рассуждала так. Введем обозначение x- cтудент, P(x) - прийти на экзамен, тогда формула: ]x(P(x)). Здесь значком "]" я заменила значок "существует" (не нашла в символах). Правильно ли? |
   |
 
|
  |
Ответов(1 - 3)
| malkolm |
25.10.2011, 17:44
Сообщение
#2
|
|
Старший преподаватель Группа: Преподаватели Сообщений: 2 167 Регистрация: 14.6.2008 Город: Н-ск Вы: преподаватель |
Правильно, только при чём здесь теория вероятностей?
|
|
|
|
| Faina |
26.10.2011, 8:30
Сообщение
#3
|
|
Аспирант Группа: Продвинутые Сообщений: 295 Регистрация: 9.3.2011 Город: Нижневартовск Учебное заведение: БирГПИ Вы: другое |
я не нашла отдельно раздела мат.логика
|
|
|
|
| malkolm |
26.10.2011, 17:21
Сообщение
#4
|
|
Старший преподаватель Группа: Преподаватели Сообщений: 2 167 Регистрация: 14.6.2008 Город: Н-ск Вы: преподаватель |
Ну да, логично, ибо тут нет такого. Но уже в СДНФ я ни бум-бум, предупреждаю (IMG:style_emoticons/default/smile.gif)
|
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 25.5.2025, 20:32 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2025 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru