Логика: задачи и их решение. Микиртумов И.Б. - 26 стр.

UptoLike

Составители: 

Рубрика: 

26
Противопоставление предикату, как уже говорилось, здесь невозможно, по-
скольку после превращения мы получим необратимое частноотрицательное
суждение.
Противопоставим субъекту общеутвердительное суждение:
Игра на зулейке слону под силу (а)
⎯−−−−−−−−−−−−−−−−−−−−−−−−
Некоторое из того, что под силу слону, есть игра на зулейке (i)
⎯−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Некоторое из того, что
под силу слону, не есть то, что не (о)
является игрой на зулейке
Противопоставление предикату:
Игра на зулейке слону под силу (а)
⎯−−−−−−−−−−−−−−−−−−−−−−−−
Игра на зулейке не суть то, что не под силу слону (е)
⎯−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
Всё непосильное для слона не есть игра
на зулейке. (е)
4. Выведение следствий из посылок по правилам простого
категорического силлогизма.
Простой категорический силлогизмэто разновидность сложного умо-
заключения. Он состоит из двух посылок и заключения. Посылки и заключение
являются простыми категорическими суждениями. При определённых условиях
заключение является логическим следствием посылок, и в этом случае мы гово
-
рим, что заключение выводится из посылок по правилам силлогизма, т. е. имеет
место правильное умозаключение. Общая схема силлогизма такова:
[Бóльшая посылка]
[Меньшая посылка]
⎯−−−−−−−−−−−−−−−
[Заключение]
Черта, отделяющая посылки от заключения, как и в случае элементарных умо-
заключений, означает, что осуществление правильного вывода обеспечит пере-
ход от истинности
посылок к истинности заключения. Разумеется, если вывод
совершается неправильно, то гарантировать истинность заключения даже при
истинных посылках нельзя.
Необходимые и достаточные условия правильности вывода описываются
рядом правил силлогизма. Так, для того, чтобы заключение следовало из посы-