Контрольная работа: Методы решения логических задач
Истинная версия №6.
Преступник скрылся на черных «Жигулях». К такому выводу пришел инспектор Борисов, применив логический закон противоречия.
Ситуация 2.
Инспектор Борисов расследует дело о хищении. В этом преступлении подозреваются Брагин, Кургин и Лиходеев. Каждый из них дал следующие показания:
1) БРАГИН: «Я не делал этого. Это сделал Лиходеев».
2) ЛИХОДЕЕВ: «Я не виноват, но и Кургин тут не при чем».
3) КУРГИН: «Лиходеев не виновен. Преступление совершил Брагин».
Инспектор точно установил, что один из подозреваемых дважды солгал, второй сказал правду, а третий один раз солгал, а один раз сказал правду. После этого инспектор назвал преступника. Им оказался…
Решение:
Брагин: А1 – я не делал этого; В1- это сделал Лиходеев
Лиходеев: А2 – я не виноват; В2 – Кургин здесь не причем
Кургин: А3 – Лиходеев не виновен; В3 – преступление совершил Брагин.
| № | Алгоритм | Конкретное соответствие данной ситуации предложенному алгоритму |
| 1 | Выделение ложного и истинного суждений |
1) А1-и В1- и 2) А1-и В1-и 3) А1-л В1-л 4) А1-л В1-л А2-л В2-л А2-л В2-л А2-и В2-и А2-и В2-и А3-л В3-и А3-и В3-л А3-л В3-и А3-и В3-л 5) А1-и В1-и 6) А1-и В1-и 7) А1-л В1-л 8) А1-л В1-л А2-и В2-л А2-л В2-и А2-и В2-л А2-л В2-и А3-л В3-л А3-л В3-л А3-и В3-и А3-и В3-и 9) А1-и В1-л 10) А1-л В1-и 11) А1-и В1-л 12) А1-л В1-и А2-и В2-и А2-и В2-и А2-л В2-л А2-л В2-л А3-л В3-л А3-л В3-л А3-и В3-и А3-и В3-и |
| 2 | Замена ложного суждения его истинной парой |
1) А2 - я виновен, В2 - Кургин виновен, А3 - Лиходеев виновен 2) А2 - я виновен, В2 - Кургин виновен, В3 – Брагин не виновен 3)А1 – я сделал это, В1 – Лиходеев не виновен, А3 – Лиходеев виновен 4) А1 – я сделал это, В1 – Лиходеев не виновен, В3 – Брагин не виновен 5)В2 – Кургин виновен, А3 – Лиходеев виновен, В3 – Брагин не виновен 6)А2 – я виноват, А3 – Лиходеев виноват, В3 – Брагин не виновен 7)А1 – я сделал это, В1 – Лиходеев не виновен, В2 – Кургин виноват 8) А1 – я сделал это, В1 – Лиходеев не виновен, А2 – я виноват К-во Просмотров: 1393
Бесплатно скачать Контрольная работа: Методы решения логических задач
|