Дедуктивное умозаключение
    
    1) 1. Все планеты солнечной системы вращаются вокруг Солнца.
    2. Юпитер - планета солнечной системы.
    3. Юпитер вращается вокруг Солнца.
    Фигура I:
    1. М Р
    
    2. S М
    3. S Р
    
    Модус ААА (BARBARA).
    Цифрой 1 обозначается большая посылка (все планеты солнечной системы вращаются вокруг Солнца), цифрой 2 - меньшая посылка (Юпитер - планета солнечной системы), а цифрой 3 - заключение.
    М - средний термин (планеты солнечной системы);
    S - меньший термин (Юпитер);
    Р - больший (тело, вращающееся вокруг Солнца).
    ААА означает, что все три высказывания утверждающие, т.е. с логической формой. "Всякий S есть З - S А Р).
    2) 1. Ни одно млекопитающее не является растением.
    2. Все люди - млекопитающие.
    3. Ни один человек не является растением.
    Силлогизм I фигуры модуса Е А Е (CELARENT).
    Е - выражение вида "Всякий S не есть Р".
    Энтилема - сокращенная форма силлогизма с пропуском одной из посылок или заключения.
    а) "Раз ни одно млекопитающее не является растением, то и человек не является растением". Пропущена меньшая посылка "все люди - млекопитающие".
    б) "Раз люди - млекопитающие, то они не растения". Пропущена большая посылка. "Ни одно млекопитающее не является растением".
    в) "Так как ни одно млекопитающее не есть растение, то все люди - млекопитающие". Пропущено заключение.
    Данные энтилемы корректны, т.к. выполняются условия: 1) они могут быть восстановлены до правильного модуса категорического силлогизма; 2) все посылки в восстановленном правильном модусе окажутся истинными утверждениями.
    3) Эпиэейрема - такой сложносокращенный силлогизм, в котором обе посылки являются энтилимами, т.е. простыми сокращенными силлогизмами.
    1. Дают лекарство всем, у кого высокая температура.
    2. Пациент болен, так как у него высокая температура.
    3. Так как пациент болен, ему надо дать лекарство.
    (3-я фигура)
    Большая посылка - энтилема, которую можно превратить в полный силлогизм:
    1. Все, у кого высокая температура - больны.
    2. Всем, кто болен, дают лекарство.
    3. Лекарство дают всем, у кого высокая температура.
    (4-я фигура)
    Меньшая посылка также энтилема, которую можно превратить в правильный силлогизм:
    1. Все, у кого высокая температура - больны.
    2. У пациента высокая температура.
    3. Пациент болен, так как у него высокая температура.
    (1-я фигура)
    4) Условно-категорические умозаключения (в них одна посылка является условным суждением, а другая - простым категорическим суждением).
    
    1. Утверждающий модус (modus ponens).
    Если А, то В
    А
    Следовательно, В
    Если собаку достаточно долго дразнить, то она разозлится.
    Собаку дразнили достаточно долго.
    Следовательно, собака разозлилась.
    Здесь вторая посылка, являющаяся категорическим суждением, подтверждает или обосновывает истинность основания условного суждения, а заключение утверждает истинность следствия.
    2. ............