Умовно-категоричне умовивід

Умовне судження має форму: якщо А є В, то С є D, наприклад: якщо Земля обертається навколо своєї осі, то відбувається зміна дня і ночі. Перше судження є підстава (антецедент), а друге - наслідок (консеквент).

Конструктивний модус має такий вигляд. Якщо А є В, то С є D; А є В;
Отже, С є D. Наприклад:
Якщо Земля обертається навколо Сонця, то відбувається зміна дня і ночі; Земля обертається навколо Сонця; Отже, відбувається зміна дня і ночі.

Це правило пов'язане з тим, що при несумісних судженнях-антецеденту, одне з яких помилково, можливо справжнє висновок: якщо Земля обертається навколо Сонця, то відбувається зміна дня і ночі, якщо Сонце обертається навколо Землі, то відбувається зміна дня і ночі, тому не можна зробити висновок: * відбувається зміна дня і ночі, отже, Земля обертається навколо Сонця.

Деструктивний модус має такий вигляд. Якщо А є В, то С є D; С не є D;
Отже, А не їсти В.

При запереченні слідства будь-який з можливих в принципі альтернативних антецедентов виявиться помилковим: якщо зміни дня і ночі не відбувається, то Земля не обертається навколо Сонця і Сонце не обертається навколо Землі.

Якщо людина є мірою всіх речей, то принципи моральності умовні; Принципи Моральність не умовні; Отже, людина не є міра всіх речей.

Розглянемо, однак, такі умовиводи, які іноді підводять викладача:
* Якщо студент слухає лекції, то він набуває необхідні знання; Студент N слухав лекції;

Отже, він придбав необхідні знання. або:
* Якщо студент слухає лекції, то він набуває необхідні знання; Студент N не набув необхідних знань; Отже, він не слухав лекції.