Виды умозаключений.

Разделительно-категорические умозаключения.

1. Отрицающе-утверждающий модус: первая посылка: A или B или C ..., вторая посылка: не A, не C ...; заключение (вывод): следовательно, B.

2. Утверждающе-отрицающий модус: (здесь требуется строго разделительное суждение). То есть: первая посылка: либо A, либо B, либо C ..., вторая посылка: B; заключение (вывод): следовательно, не A, не C ... .

Условные умозаключения (Умозаключения, посылки и заключения которых — условные суждения.

Ø Контрапозиция: посылка: если A, то B; заключение: следовательно, если не B, то не A.

Если сегодня суббота, то завтра – воскресенье

Типичная ошибка: после того не значит, что вследствии того: Грянул гром и пошел дождь. На начало

Ø Сложная контрапозиция: посылка: если A и B, то C; заключение: следовательно, если A и не C, то не B. Модуль=опрос+реферат. Нет реферата –модуль не сдан.

Ø Транзитивность: первая посылка: если A, то B; вторая посылка: если B, то C; заключение: следовательно, если A, то C. Если сегодня суббота, то завтра – воскресенье. Если завтра воскресенье, то послезавтра..