Чисто условные умозаключения

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

Схема умозаключения

• Большая посылка — условное суждение.
• Меньшая посылка — условное суждение.
• В заключении — условное суждение.

Условным называют суждение, состоящее из двух простых суждений, связанных логической связкой «если.., то...». Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

Другие понятия:

• Логический закон;
• Логические функции;
• Нормальные формы:
  • совершенная дизъюнктивная нормальная форма;
  • совершенная конъюнктивная нормальная форма;
  • минимальная дизъюнктивная нормальная форма;
  • минимальная конъюнктивная нормальная форма;
  • алгебраическая нормальная форма;
• Таблица истинности;
• Карта Карно;
• Трёхмерная карта Карно;
• Предикат;
• Исчисление высказываний;
• Специальное исчисление высказываний;
• Секвенции;
• Суждение;
• Умозаключения.

Ссылки

• Википедия
• Участник:Logic-samara