Шпаргалка: Дедуктивное умозаключение

2. Всем, кто болен, дают лекарство.

3. Лекарство дают всем, у кого высокая температура.

(4-я фигура)

Меньшая посылка также энтилема, которую можно превратить в правильный силлогизм:

1. Все, у кого высокая температура - больны.

2. У пациента высокая температура.

3. Пациент болен, так как у него высокая температура.

(1-я фигура)

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

1. Утверждающий модус (modus ponens).

Если А, то В

А

Следовательно, В

Если собаку достаточно долго дразнить, то она разозлится.

Собаку дразнили достаточно долго.

Следовательно, собака разозлилась.

Здесь вторая посылка, являющаяся категорическим суждением, подтверждает или обосновывает истинность основания условного суждения, а заключение утверждает истинность следствия.

2. Отрицающий модус (modus tollens).

Если А, то В

не В

Следовательно, не А

Строится по аналогичной схеме, нов нем категорическое суждение во второй посылке отрицает следствие в условном суждении первой посылки.

Если собаку дразнить достаточно долго, то она разозлится.

Собака не разозлилась

Следовательно, ее не дразнили достаточно долго.

Разделительно-категорические умозаключения (в них одна из посылок - разделительное суждение, а другая - категорическое суждение). Также имеют два модуса.

1. Утверждающе-отрицательный модус (modus ponendo tollens). В нем одна из посылок - разделительное суждение, другая - утверждает истинность одного из членов разделительного суждения.

Схематично:

А либо В, либо С