Дедуктивні умовиводи

С у т о у м о в н і у м о в и в о д и.

Суто умовний умовивід - це умовний умовивід, в якому обидва засновки і висновок є умовними судженнями.

Схема суто умовного умовиводу:

Якщо А, то В.

Якщо В, то С.

Отже, якщо А, то С.

Приклад:

Якщо людина філантроп, то вона полюбляє людей.

Якщо людина полюбляє людей, то вона благородна.

Отже, якщо людина філантроп, то вона благородна.

В суто умовному умовиводі висновок робиться на основі аксіоми: наслідок наслідку є наслідком підстави.

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

Умовно-категоричними називають умовиводи, один із засновків яких є судженням умовним, а інший засновок і висновок - судженнями категоричними.

В умовно-категоричних умовиводах є два правильних модуси: modus ponens (стверджувальний) і modus tollens (заперечний).

У даних умовиводах висновок робиться на основі аксіоми: ствердження основи неодмінно призводить до ствердження наслідку, а заперечення наслідку - до заперечення основи.

Різновиди стверджувального умовно-категоричного

умовиводу:

2. Якщо Н. не скоїв злочину, то він не може бути притягнутий до карної відповідальності. Н. не скоїв злочину. Отже, він не може бути притягнутий до карної відповідальності.

Це стверджувальний модус. Його схема:

Наприклад:

Якщо через мідний провідник провести електричний струм, то він буде нагріватись. Через мідний провідник електричний струм не проведений. Отже,...

Висновок із засновків буде невірним. Провідник може нагріватись і в силу дії інших причин. Для наслідку існує декілька причин. Висновок буде вірним тоді і тільки тоді, коли для наслідку існує одна причина.

5.14.