Короткий зміст модуля
Умовиводи здійснюються не тільки з простих, але й зі складних суджень. Доволі широко використовуються виводи, засновками яких є умовні та розділові (диз’юнктивні) висловлювання. Такі висловлювання поєднуються в різних комбінаціях одне з одним або з категоричними судженнями.
У залежності від цього існують різні види виводів логіки висловлювань.Структура модуля
1. Поняття про виводи логіки висловлювань.
2. Умовно-категоричні виводи:
a) суто умовні;
b) стверджувальний модус;
c) заперечний модус.
3. Розділово-категоричні виводи:
a) суто розділові;
b) заперечно-стверджувальний модус;
c) стверджувально-заперечний модус.
4. Умовно-розділові виводи:
a) конструктивна дилема;
b) деструктивна дилема;
5. Скорочені силогізми.
КЛЮЧОВІ СЛОВА
/ Виводи логіки висловлювань / Заперечно-стверджувальний
/ Умовно-категоричні виводи модус
/ Стверджувальний модус / Стверджувально-заперечний
/ Заперечний модус модус
/ Розділово-категоричні / Умовно-розділовий умовивід умовиводи / Ентимема