Упражнение 21. Сделайте вывод, определите его состоятельность

Сделайте вывод, определите его состоятельность.

Образец:

Воронов знаком с Синицыным. Синицын знаком с Еремеевым. Заключе­ние: «Воронов знаком с Еремеевым» с необходимостью не следует, так как отношение «анаком» не является транзитивным.

21.1. Ольга - сестра *Гатьяны.

21.2. Елизавета - дочь Петра.

21.3. Иван Иванович - отец Михаила.

21.4. Валентин любит Ирину.

21.5. Матвеев - земляк Уварова.

21.6. Тихий океан больше Атлантического.,21.7. Карское море западнее моря Лаптевых.

21.8. Ева - жена Адама.

21.9. Антонов - ровесник Лосева.

21.10. Дельвиг учился вместе с Пушкиным, а Пушкин - вместе с Пу­щиным.

21.11. Борис - друг Виталия, Виталий - друг Константина.

21.12. Антонина Ивановна - мать Светланы. Светлана - мать Лари­сы.

21.13. Николай - сын Александра. Александр - сын Петра Петро­вича.

21.14. Тунис восточнее Алжира, Алжир восточнее Марокко. >

21.15. Евгений любит Людмилу, Людмила любит Глеба.4.1. Чисто условное умозаключение

Глава 4. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ (выводы из сложных суждений)

Чисто условное умозаключение

Чисто условным называется умозаключение, обе посылки и за­ключение которого являются условными суждениями. Его схема в символической записи:

Вывод основан на правиле: следствие следствия есть следствие основания (см. учебник, гл. VII, § 1).

Заключение в чисто условном умозаключении может быть полу­чено не из 2, а из большего числа посылок. Такие умозаключения от­носятся к сложным, они имеют схему:

(Р ~> Я) a (q -> г) л (г -> s)... л ( у -> 2)

Как и в простом чисто условном умозаключении, заключение,■ представляет собой импликативную связь основания первой посыл­ки со следствием последней (см. учебник, гл. VII, § 5).