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

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

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

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

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

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

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

• логический закон;
• логическая функция:

1. совершенная дизъюнктивная нормальная форма;
2. совершенная конъюнктивная нормальная форма;
3. минимальная дизъюнктивная нормальная форма;
4. минимальная конъюнктивная нормальная форма;
5. алгебраическая нормальная форма;

• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

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