Умозаключения
Если в, то с.(рq) Λ (qr)
Если а, то с. pr
Вывод в нем строится на правиле: следствие следствия есть следствие основания (основания).
Условно-категорическое умозаключение - умозаключение, в котором одна из предпосылок, - условно, а вторая предпосылка и вывод - категорические суждения.
Если а, то в.В символической записи:
a (рq), р
в q
(1) Это умозаключение получило название утверждающего модуса (modus ponens - МР). Рассуждение направлено от утверждения основы к утверждению следствия.
Modus ponens дает достоверные выводы.
(2) Другой модус, который дает достоверный вывод, есть отрицающий модус (modus tollens - МТ), в котором предпосылка выражена категорическим суждением, отрицает истинность следствия, а вывод заперчуе истинность основы (основания). Рассуждение направленно от отрицания следствия к отрицанию основы.
Если А, то В.В символической записи:
В (рq), ~q
Ā ~p
(3) Рассуждение направленно от отрицания основы к отрицанию следствия.
Если А, то В.В символической записи:
не-А рq, ~р
не-В ~q
(4) Рассуждение направленно от утверждения следствия к утверждению основы :
Если а, то в.В символической записи:
в рq, q
а p
Два первых модуса выражают законы логики и являются правильными модусами условно-категорического суждения. Они подлежат правилу: утверждение основы ведет к утверждению следствия и отрицанию следствия - к отрицанию основы. Два других модусы (3) и (4) достоверных выводов не дают и являются неправильными модусами. Они подчиняются правилу: отрицание основы не ведет с необходимостью к отрицанию следствия и утверждению следствия не ведет с необходимостью к утверждению основы.
(рq) Λ р)q - табл. истинности (пример), утвердительный модус.
Вернуться назад