Автор: Пользователь скрыл имя, 11 Января 2012 в 10:30, контрольная работа
Примеры решения задач на построение таблицы истинности, нахождение логического следования, отношения между сложными суждениями.
Если отсутствует
строка, в которой первая ф –ла
принимает значение «ложь», а вторая
– «истина», то ф-лы находятся в
отношении подчинения, причем вторая ф-ла
подчиняет первую, другими словами первая
подчиняется второй.
Исходное задание:
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-я
находятся в отношении