Рассмотрим каждое умозаключение по порядку и проанализируем его.
а)
Структура:
- Если кража совершена “по наводке”, то у преступника был сообщник. (A → B)
- Если был сообщник, то налицо преступная группа. (B → C)
- Если преступление совершено группой, то это - преступление с отягчающими обстоятельствами. (C → D)
Логический вывод:
- Если кража совершена “по наводке”, то она с отягчающими обстоятельствами. (A → D)
Проверка: Это умозаключение корректно и представляет собой цепочку следствий. Если все посылки истинны, то и вывод будет истинным.
б)
Структура:
- Если Д. убийца, то ему известно место и время убийства. (E → F)
- Ему известно место и время убийства. (F)
Логический вывод:
- Значит, Д. убийца. (E)
Проверка: Это умозаключение является логической ошибкой (петля от обратного), известной как "ошибка обратного вывода", и не является корректным. Обозначает ложное умозаключение: "Знание самого факта, не означает, что он необходим".
в)
Структура:
- Лекция может быть содержательной или занимательной. (G ∨ H)
- Если лекция содержательна, то ее конспектируют, но не слушают. (G → (I ∧ ¬J))
- Если занятие занимательно, то его слушают, но не конспектируют. (H → (J ∧ ¬I))
Логический вывод:
- Лекции конспектируют, но не слушают или слушают, но не конспектируют. (I ∧ ¬J ∨ J ∧ ¬I)
Проверка: Это умозаключение неверно. Необходимо рассмотреть, что содержание или занимательность не могут одновременно приводить к одному результату. Вывод не может быть совмещающим эти возможные исходы.
г)
Структура:
- Если я выпрыгну из окна, то разобьюсь. (K → L)
- Если побегу вниз по лестнице, то задохнусь от дыма. (M → N)
- Я не побегу по лестнице и не выпрыгну из окна. (¬K ∧ ¬M)
Логический вывод:
- Следовательно, я не разобьюсь и не задохнусь от дыма. (¬L ∧ ¬N)
Проверка: Это тоже логическая ошибка, известная как "ошибка отрицания". Если "если", то не означает окончательное. Вывод не может быть сделан.
д)
Структура:
- Если говорить правду, люди проклянут. (O → P)
- Если лгать, проклянут боги. (Q → R)
- Говорить правду или лгать. (O ∨ Q)
Логический вывод:
- Значит, вас проклянут боги или люди. (P ∨ R)
Проверка: Это умозаключение неверно. Опять же, если/или не дает нам уверенности в том, что это произойдет.
е)
Структура:
- Если лекции неинтересны, посещают плохо. (S → T)
- Если посещают плохо, учебная часть проверяет посещаемость. (T → U)
- Если учебная часть проверяет посещаемость, инспекторы перегружены работой. (U → V)
Логический вывод:
- Если лекции интересны, то инспекторы не перегружены работой. (¬S → ¬V)
Проверка: Это корректное умозаключение. Оно представляет собой цепочку зависимостей - отсюда вывод верный.
ж)
Структура:
- Человек либо трус, либо протестует. (W ∨ X)
- Если не трус, то отстаивает в убеждениях. (¬W → Y)
- Если не протестует, то заслуживает обращения. (¬X → Z)
Логический вывод:
- Или человек не отстаивает свои убеждения, либо не заслуживает обращения. (¬Y ∨ ¬Z)
Проверка: Это умозаключение корректно. Опять легкие обстоятельства.
Подводя итог:
- Умозаключения (а), (в), (е), (ж) верны, а (б), (г), (д) - неверны.