c) ∧ (¬ b ∧¬ c) - це дві посилки силогізму, з'єднані знаком кон'юнкції; a - це висновок силогізму у вигляді затвердження третього простого судження, що входив в першу посилку; і нарешті, импликацией об'єднуються посилки і висновок силогізму.
1. Розподіл в першій посилці має проводитися по одній підставі. наприклад:
Транспорт буває наземним, або підземним, або водним, або повітряним, або громадським. Приміські електропоїзди - це громадський транспорт. Приміські електропоїзди - це не наземний, що не підземний, чи не водний і не повітряний транспорт.
2. Розподіл в першій посилці має бути повним. наприклад:
Математичні дії бувають складанням, або відніманням, або множенням, або поділом. Логарифмування - це не складання, що не віднімання, що не множення і не розподіл. Логарифмування - це не математична дія.
У силогізм неповне поділ в першій посилці обумовлює помилковий висновок, який випливає з істинних посилок.
3. Результати розподілу в першій посилці не повинні перетинатися, або диз'юнкція має бути строгим. наприклад:
Країни світу бувають північними, або південними, або західними, або східними. Канада - це північна країна. Канада - це не південна, що не західна і не східна країна.
Він сильний від природи або ж постійно займається спортом. Він не є сильним від природи. Він постійно займається спортом.
4. Розподіл в першій посилці має бути послідовним. наприклад:
Пропозиції бувають простими, або складними, або Складносурядні.
Ця пропозиція складносурядне. Ця пропозиція не проста і не складна.
У силогізм помилковий висновок випливає з істинних посилок з тієї причини, що в першій посилці був допущений стрибок у поділі.
Дзеркала бувають плоскими або сферичними. Сферичні дзеркала бувають увігнутими або опуклими. Дзеркала бувають плоскими, або увігнутими, або опуклими.
Форму наведеного чисто розділового силогізму можна представити таким чином: ((a
1. Що являють собою розділові умовиводи?
Наведіть по три приклади для кожного модусу, зобразивши їх форму за допомогою умовних логічних позначень.
1. Чотирикутники бувають квадратами, або ромбами, або трапеціями. Ця фігура - НЕ ромб і не трапеція. Ця фігура - квадрат.
2. Відбір в живій природі буває штучним або природним. Даний відбір не є штучним. Даний відбір є природним.
3. Люди бувають талановитими, або нещасними, або впертими.
Він є впертою людиною.
Він не талановитий і не безталання.
4. Судження бувають ствердною або негативними.
Це судження стверджувальне.
Це судження не негативна.
5. Учні бувають відмінниками або двієчниками.
Мій товариш не відмінник.
Мій товариш - двієчник.
Якщо злітна смуга покрита льодом, то літаки не можуть злітати.
Сьогодні злітна смуга покрита льодом.
Сьогодні літаки не можуть злітати.
1. Підтверджує модус. у якого перша посилка являє собою імплікації, що складається, як ми вже знаємо, з двох частин - підстави і слідства, друга посилка є твердженням підстави, а у висновку стверджується слідство. наприклад:
Якщо речовина - метал, то воно електропровідні.
Дана речовина - це метал.
Дана речовина електропровідні.