Контрольная работа по" Логистике"
Контрольная работа, 11 Января 2012, автор: пользователь скрыл имя
Краткое описание
Примеры решения задач на построение таблицы истинности, нахождение логического следования, отношения между сложными суждениями.
Файлы: 1 файл
логика контрольная.doc
— 143.00 Кб (Скачать)Если отсутствует
строка, в которой первая ф –ла
принимает значение «ложь», а вторая
– «истина», то ф-лы находятся в
отношении подчинения, причем вторая ф-ла
подчиняет первую, другими словами первая
подчиняется второй.
Исходное задание:
1)Если я поеду в Санкт-Петербург, то я увижу «Похищение Данаи» Рембрандта.
2) Если я не поеду в Санкт-Петербург, то я не увижу «Похищение Данаи» Рембрандта.
3) Неверно, что я поеду в Санкт-Петербург и я увижу «Похищение Данаи» Рембрандта.
4) Неверно, что
если я поеду в Санкт-
5) Я поеду
в Санкт-Петербург, но я не
увижу «Похищение Данаи»
6) Только в
том случае, если я поеду в
Санкт-Петербург, то я увижу
«Похищение Данаи» Рембрандта.
"Если болезнь запущена, то ее легко распознать, по трудно излечить. Если болезнь не запущена, то ее трудно распознать, но легко излечить"
- Если болезнь запущена, то ее легко распознать
- Если болезнь запущена, то трудно излечить
- Если болезнь не запущена, то ее трудно распознать
Алгоритм решения.
А) Выделяем простые суждения и формализуем их:
а) я поеду в Санкт-Петербург – обозначим его пропозициональной переменной «р»
в) я увижу
«Похищение Данаи» Рембрандта. - обозначим
его пропозициональной
В) Составляем ф-лы сложных суждений:
1) (p É q) 2) (Øp É Øq) 3) Ø(p Ù q) 4) Ø(p É q) 5) (p Ù Øq) 6) (pºq)
C) Строим сводную
таблицу истинности:
| p q | (p É q) | (Øp É Øq) | Ø(p Ù q) | Ø(p É q) | (p Ù Øq) | (p º q) |
| и и | и и и | ли и ли | л и и и | л и и и | и л ли | и и и |
| и л | и л л | ли и ил | и и л л | и и л л | и и ил | и л л |
| л и | л и и | ил л ли | и л л и | л л и и | л л ли | л л и |
| л л | л и л | ил и ил | и л л л | л л и л | л л ил | л и л |
Д) Сравниваем формулы друг с другом.
1-я и 2-я
находятся в отношении
1-я и 3-я
находятся в отношении
1-я и 4-я
находятся в отношении
1-я и 5-я находятся
в отношении противоречия, т.к. отсутствует
строка, в которой они обе принимают значение
«истина», и отсутствует строка, в которой
они обе принимают значение «ложь»
1-я и 6-я
находятся в отношении
2-я и 3-я
находятся в отношении
2-я и 4-я
находятся в отношении
2-я и 5-я
находятся в отношении
2-я и 6-я
находятся в отношении
3-я и 4-я
находятся в отношении
3-я и 5-я
находятся в отношении
3-я и 6-я
находятся в отношении
4-я и 5-я
находятся в отношении
4-я и 6-я
находятся в отношении
5-я и 6-я
находятся в отношении