Поняття простого категоричного силогізму, його структура та різновиди за формами засновків і висновку. Спеціальні правила фігур. Використання кол Ейлера. Правила "логічного квадрату". Умовиводи засобом обернення, перетворення і протиставлення предиката.
Визначте фігуру й модус силогізму і поясніть результат: Іванченко має право на відпочинок, так як він є громадянином України, а всі громадяни України мають право на відпочинок. Категоричним силогізмом називають дедуктивний умовивід, який складається із двох засновків і висновку, представлених судженнями виду: ASP, ESP, ISP, OSP. Термін, що входить в обидва засновки, але відсутній у висновку, називається середнім і позначається буквою М. Доведення: - якщо приймаємо наше припущення, то висновком у силогізмі за першою фігурою буде заперечувальне судження (4 - загальне правило силогізму: скорочено - ЗПС); Відповідні назви мають модуси II, III фігур: модуси II фігури - Cesare, Camestres, Festino, Baroco; модуси III фігури - Darapti, Disamis, Datisi, Felap-ton, Bocardo, Ferison; модуси ІУ фігури - Bramantip, Camenes, Dimaris, Fesapo, Fresison.
