Это наиболее распространенные логические формы. Какое бы суждение или понятие вы туда ни подставили (при условии их истинности, конечно), вы всегда будете получать истинные заключения. Это действительно облегчает жизнь.

Для того чтобы эта тема, простая на первый взгляд, но не такая простая в реальности, вами была усвоена, очень рекомендую не игнорировать практические задания, а действительно выделить время на их выполнение. Без этого нам будет сложно продвигаться дальше.

Немного практики

18.1. Изучите посылки. Сделайте вывод на основании предложенных посылок:

18.1.1. Логика трудна в изучении. Все, что трудно, требует внимания.

Значит, __________

18.1.2. Я обижаюсь на всех, кто не слушает меня. А ты меня не слушаешь!

Значит, __________

18.1.3. Закон — для всех. Закон необходимо исполнять.

Значит, __________

18.1.4. Ни один вор не заслуживает уважения. Порядочный человек заслуживает уважения.

Значит, __________

18.1.5. Ребята из отдела продаж много сделали для компании. Антон — из отдела продаж.

Значит, __________

18.1.6. Некоторые актеры — еще и хорошие режиссеры. Иванов — актер.

Значит, __________

18.1.7. Все киты — млекопитающие. Но они не живут на суше.

Значит, __________

18.1.8. Все кальдахи не любят вардунамов. Хвантей не вардунам.

Значит, __________

18.1.9. Любой, кто не заиндыет, бесит кальдахов. Ты заиндыешь.

Значит, __________

18.1.10. Камдохов с амальгамой не существует. Моя загния сделана из амальгамы.

Значит, __________

18.2. Вставьте пропущенную посылку:

18.2.1. Упал самолет. Вероятно, много людей погибло.

18.2.2. 17 не делится на 2. Значит, оно не является четным.

18.2.3. Кирилл не работает в отделе продаж. Значит, он работает в отделе логистики.

18.2.4. Я симпатичный парень. Значит, мне легче познакомиться с девушкой.

18.2.5. Каждый, кто был на собрании, — член клуба. Значит, Егор — член клуба.

18.2.6. Этот человек не опасен для нас, потому что у него нет высокой температуры.

18.2.7. Все растения содержат хлорофилл. Значит, и розы в моем букете содержат хлорофилл.

18.2.8. Это плохое топливо, потому что оно не горит.

18.2.9. Это животное не млекопитающее, потому что оно не позвоночное.

18.2.10. Все грехи заслуживают порицания. Значит, воровство заслуживает порицания.

18.3. Оцените правильность этих умозаключений. Попробуйте формализовать умозаключения с помощью формул. Мой совет: вооружитесь ручкой и бумагой, чтобы нарисовать круги Эйлера. Они помогут вам сориентироваться в логической форме умозаключений.

18.3.1. «Четверочка» — недорогой магазин. Нам нужно покупать продукты в недорогом магазине. Поэтому нам нужно покупать продукты в «Четверочке».

18.3.2. Каждый А — это Б. Каждый Б — это не В. Получается, что ни один из В не является А.

18.3.3. Некоторые юристы — судьи. Значит, все судьи — юристы.

18.3.4. Иванов — студент, ведь он сдает экзамены.

18.3.5. У людей, которые выпили, — красный нос. У Олега — красный нос. Значит, он выпил.

18.3.6. Все колясы — это базаики. Все хондрики — это колясы. Значит, все колясы — хондрики.

18.3.7. Всякие шаинки могут быть белыми, но рыжая шаинка не может быть белой. Значит, рыжая шаинка — не шаинка.

18.3.8. Все кошачьи являются хищниками. Все хищники не являются травоядными. Значит, все травоядные не являются кошачьими.

18.3.9. Если ярко светит солнце, значит, на дворе день. Сейчас день. Следовательно, сейчас ярко светит солнце.

18.3.10. Все планеты Солнечной системы вращаются вокруг Солнца. Земля вращается вокруг Солнца. Следовательно, Земля — планета Солнечной системы.

18.3.11. Все, что дает жизненный опыт, — полезно. Некоторые ошибки дают жизненный опыт. Значит, все ошибки полезны.

18.3.12. Все, что дает жизненный опыт, — полезно. Некоторые ошибки дают жизненный опыт. Значит, некоторые ошибки полезны.

18.3.13. Большинство миллиардеров — мужчины. Большинство мужчин изменяют. Значит, большинство миллиардеров изменяют.

18.3.14. Если холдорук — бельник, то у него есть ждяжка. У холдорука нет ждяжки. Значит, холдорук — не бельник.

18.3.15. Все волки едят зайцев. Это животное ест зайцев. Значит, это волк.

Давайте посмотрим на те умозаключения, которые мы разбирали в прошлой главе. Попробуйте определить, что их все объединяет. Каждый раз мы начинали с чего-то общего (например, «Учебники по логике дарят ценные знания», «Все хорошие учебники по логике необходимо изучить», «Все граждане России имеют право на труд и на отдых» или «Все люди смертны»), а потом делали более частный вывод. Например, если «Все люди смертны», а «Сократ — человек», значит, «Сократ смертен». Умозаключение, которое позволяет делать вывод о конкретном предмете или понятии на основе знаний обо всех предметах или понятиях, называется дедукцией. Чаще всего дедукцию определяют как рассуждение от общего к частному.

Дедукция логически вытекает из истинных предпосылок, и логика в дедуктивном рассуждении всегда очевидна и наглядна. Дедукция — это практически эталон логических рассуждений. Судите сами. Если «все птицы — животные», а «синица — птица», то однозначно «синица — это животное». Применяя дедукцию, мы всегда имеем очевидную картину, не перегружая ее лишней информацией. Правильно построенное дедуктивное умозаключение всякий раз гарантирует получение истинных выводов из истинных посылок.