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