Простий категоричний силогізм – це умовивід, який складається з простих категоричних суджень. Як, бачите, кожне судження, яке входить до складу цього умовиводу, є простим категоричним судженням. Кожне з них має в своєму складі суб'єкт та предикат.

У силогізм входить рівно три терміни: S — менший термін: суб'єкт висновку (входить також у менший засновок); P — більший термін: предикат висновку (входить також у більший засновок); M — середній термін: входить в обидва засновки, але не входить у висновок.

За допомогою символів математичної логіки суто умовний силогізм можна записати так: (А→В)→(В→С)→(A→С). Суто умовний силогізм відображає такі причинно-наслідкові зв'язки трьох явищ, коли одне явище є причиною другого, а це друге виступає водночас причиною третього явища.

Повною індукцією називається умовивід, у якому загальний висновок про клас предметів робиться на основі вивчення всіх предметів цього класу. Неповною індукцією називається умовивід, у якому загальний висновок виводиться із засновків, котрі не охоплюють усіх предметів класу.

Категоричний силогізм – це дедуктивний аргумент, що складається з трьох категоріальних пропозицій (двох передумов і висновку); в сукупності ці три пропозиції мають рівно три класи; кожен з трьох класів зустрічається рівно в двох з пропозицій.

Силогі́зм (грец. συλλογισμός — міркування) — міркування, що складається з трьох простих атрибутивних висловлювань: двох засновків і одного висновку. Засновок силогізму поділяють на більший (який містить предикат висновку) і менший (який містить суб’єкт висновку). За …