align="justify">, отримуємо шість істинних модусів:
ASP В® ISP; В® OSP; В® IPS; В® EPS; В® OPS; В® IPS.
Модуси ASP В® ISP і ESP В® OSP називаються зміною кількості суджень. Їх прикладами можуть служити ув'язнення: В«Усі прикметники позначають ознаку предмета, значить, деякі прикметники позначають ознаку предметаВ»; В«Всі жири не розчиняються у воді. Отже, деякі жири не розчиняються у воді В».
Модуси ASP В® IPS, ESP В® EPS, ESP В® OPS , ISP В® IPS називаються зверненням. При зверненні суб'єкт і предикат посилки міняються місцями: у висновку суб'єкт стає предикатом, а предикат - суб'єктом. Прикладами цих модусів можуть бути висновки: В«Всі зірки - небесні тіла, отже, деякі небесні тіла - зіркиВ»; В«Жодна ялина не їсти листяне дерево. Отже, жодне листяна дерево не є ялина В»;В« Деякі винахідники - інженери. Значить, деякі інженери - винахідники В»і т.д.
категоричний силогізм
судження умовивід ентимема логіка
Категоричний силогізм - це умовивід, в якому з двох простих (категоричних) суджень (вони називаються посилками), пов'язаних загальним поняттям (його позначають через М < span align = "justify"> і називають середнім терміном) виводиться третє судження, зване висновком; при цьому середній термін на закінчення не входить.
За визначенням силогізм має схему:
X в, а Г™ Y c, в В® Z c, а ,
де X, Y, Z можуть мати сенс A, E, I , O ; в, а - приймати значення < b align = "justify"> М або Р ;
