(a или b, не-a) → b
(a или b,a) → не-b
Modus ponendo tollens
Modus ponens
Modus tollendo ponens
Modus tollens
Аналогия
Буквальная аналогия
Виды умозаключений
Выводы из сложных суждений
Двойное отрицание равносильно утверждению
Достоверные умозаключения
Заключение
Индуктивные умозаключения
Количество посылок
Лемматическое умозаключение
Логический анализ замкнутого множества
Направленность вывода
Научная индукция
Неполная индукция
Непосредственные умозаключения
Непосредственные умозаключения
Общие правила силлогизма
Операция обращения
Операция превращения
Операция противопоставления предикату
Опосредованные умозаключения
Отношение контрадикторности
Отношение логического следования
Отношения понятия, противоречащего предикату к субъекту исходного суждения
Полная индукция
Понятие сходства
Посылки умозаключения
Правдоподобные умозаключения
Правдоподобные умозаключения
Правила логического вывода
Правило распределенности терминов
Преобразование суждений
Простой категорический силлогизм
Разделительно-категорическое умозаключение
Степень вероятности
Структура силлогизма
Структура умозаключения
Термины силлогизма
Умозаключение как форма мышления
Умозаключения по логическому квадрату
Условно-категорическое умозаключение
Условный силлогизм
Чисто условное умозаключение