Словарь терминов. 
Основы логики

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

Деструктивная дилемма — это дилемма, в заключении которой что-то отрицают.

«Доказательство от противного» — это непрямое дедуктивное рассуждение, в котором истинность высказывания обосновывают на основании того, что из отрицания этого высказывания при помощи других рассуждений выводят противоречие.

Конструктивная дилемма — это дилемма, в заключении которой что-то утверждают.

Непрямое дедуктивное рассуждение — это рассуждение, в котором заключение из посылок вытекает опосредованно при помощи дополнительных рассуждений.

Простая дилемма — это дилемма, заключение которой является простым высказыванием или его отрицанием.

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

Разделительно-категорическое рассуждение — это прямое дедуктивное рассуждение, одна из посылок которого дизъюнктивное высказывание, а вторая посылка и заключение — составляющие дизъюнктивного высказывания или их отрицания.

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

Сложная дилемма — это дилемма, заключение которой является сложным (дизъюнктивным) высказыванием.

У словно-категорическое рассуждение — это прямое дедуктивное рассуждение, одна из посылок которого импликативное высказывание, а вторая посылка и заключение — составляющие импликативного высказывания или их отрицания.

Условно-разделительное рассуждение — это прямое дедуктивное рассуждение с несколькими импликативпыми посылками и одной дизъюнктивной посылкой.

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