Розділ Х. Умовивід

Наведемо приклад міркування, побудованого за правилом ЗД:

Читається правило так: "Із заперечення кон'юнкції слідує диз'юнкція заперечень висловлювань, що складають кон'юнкцію".

Наведемо приклад конкретного міркування, що регламентується цим правилом:

Наведемо приклад міркування, побудованого за правилом простої контрапозиції:

Наведемо приклад конкретного міркування за правилом складної контрапозиції:

Наведемо приклад міркування за цим правилом:

Отже, ми розглянули правила висновку логіки висловлювань, які в сукупності є множиною можливих конкретних міркувань. Також з'ясували, що перевірка коректності правила висновку можлива шляхом побудови таблиці істинності для формули, що представляє висновок та доведення останнього рядка правила висновку.

в) Метод аналітичних таблиць.

г) Умовиводи логіки висловлювань в традиційній логіці.

Окрім розглянутих правил висновку логіки висловлювань у традиційній логіці досліджується низка умовиводів логіки суджень на аналізі яких ми зупинимося.

Традиційна логіка розглядає умовиводи логіки висловлювань, засновками яких є комбінації категоричного судження з умовним чи розділовим судженням, комбінації тільки умовних суджень і комбінації з умовних і розділових суджень. Зокрема, це такі :

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

2) чисто умовні умовиводи;

3) розділово-категоричні умовиводи;

4) умовно-розділові умовиводи.

Охарактеризуємо кожний із цих видів умовиводів.

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

Існує два різновиди умовно-категоричного умовиводу:

- modus ponens і

- modus tollens.