Упражнение 2
Необходимо установить, являются ли формально-логическими законами связи по формам между исходными суждениями (посылками) и результирующим (заключением) в следующих рассуждениях, то есть верны ли они:
Все студенты первого курса юрфака изучают логику. Некоторые студенты первого курса юрфака будут специализироваться по уголовному праву. Следовательно, некоторые студенты, которые будут специализироваться по уголовному праву, изучают логику.
Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. Следовательно, все члены кружка логики - юристы.
"Если умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мёртв; но и не тогда, когда умер, ибо он был бы дважды мёртвым. Стало быть, Сократ умер" (Секст Эмпирик. Соч.: в 2 т. Т. 2. М., 1976. С. 289)
Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.
Некоторые участники этого преступления опознаны потерпевшим. Ни один из членов семьи Петровых не опознан потерпевшим. Следовательно, некоторые члены семьи Петровых не являются участниками этого преступления.
Некоторые юиологи не являются философами. Следовательно, некоторые философы не являются биологами.
Если философ является дуалистом, то он не идеалист. Если философ не идеалист, то он диалектик или метафизик. Этот философ не метафизик. Следовательно, он диалектик или не дуалист.
Если это преступление совершил Петров, то он знает, где находятся похищенные вещи. Он этого не знает, но знает место нахождения похищенных денег. Петрова видели недалеко от того места, где было совершено преступление. Следовательно, Петров не совершал этого преступления.
Источник: Ивлев Ю. В., Логика для юристов: учебник. - 5-е изд., перераб. и доп. - Москва : Проспект, 2019. - 272 с.