Правила вывода из сложных суждений

 

Различают два вида дедуктивных умозаключений в зависимости от того, учитывается ли в них внутренняя структура (логическая форма) простых суждений, входящих в посылки и заключение, или не учитывается. Займемся анализом правил дедуктивных выводов из сложных суждений, т.е. выводов, в которых внутренняя структура простых суждений не учитывается. Рассмотрим пример такого умозаключения:

1. Если ночью идет сильный дождь, то по утрам трава в поле мокрая.

2. В эту ночь шел сильный дождь.

3. Сегодня утром трава в поле мокрая.

Заключение 3. получено из посылок 1. и 2. по правилу дедуктивной логики, которое носит название модус поненс(сокращенно МП):

Если Х, то Y; Х