4. Із двох заперечних засновків не можна зробити ніякого висновку.
Наприклад:
Трапеції (М) не є ромби (Р)
Квадрати (S) не трапеції (М)
??????
Висновок не можливий оскільки кожний крайній термін засновків говорить, що ні як до середнього терміну (М) не належить.
Висновок не можливий.
5. Якщо один засновок заперечний, то й висновок має бути заперечним.
Заперечний засновок означає, що або М лежить поза Р, або S поза М. В обох випадках висновок має бути лише один: S полягає поза Р.
Всі дельфіни – ссавці.
Ця тварина не є ссавець.
Ця тварина не є дельфіном.
6. Із двох часткових засновків не можна зробити ніякого висновку.
Якщо у силогізмі два часткових засновки, то можливі три варіанти: І ті І – два засновки частковоствердні; О та О два засновки частковозаперечні; і нарешті І частковоствердне судження та О частковозаперечне судження.
Розглянемо варіант І та І.
Певні рослини (М) – є лікувальними (Р).
Деякі організми (S) – рослини (М).
????
Два засновки є частковоствердні судження. Середній термін М не розподілений у жодному засновку. Це порушує правило №2. Висновок неможливий.
Якщо обидва засновки є частковозаперечними, то з них висновок не можливий згідно з правилом 4.
Якщо один з засновків є І частковоствердним судженням, а другий О є частковозаперечне судження, то це або порушує правило 2, або правило 3.
7. Якщо один із засновків частковий, то й висновок має бути частковим.
Спроба при частковому засновку зробити загальний висновок обов’язково приведе до порушення правила 2 чи правила 3. Спробуйте самостійно це довести.
Таким чином правила категоричного силогізму взаємопов’язані. Порушення одного з правил може призвести до порушення інших.