Известная нам ошибка неполного деления в первой посылке силлогизма обусловливает ложный вывод, вытекающий из истинных посылок.
Результаты деления в первой посылке не должны пересекаться, или дизъюнкция должна быть строгой. Например:
В силлогизме вывод является ложным, так как Канада в такой же степени северная страна, в какой и западная. Ложный вывод при истинных посылках объясняется в данном случае пересечением результатов деления в первой посылке, или, что одно и то же, – нестрогой дизъюнкцией. Следует отметить, что нестрогая дизъюнкция в разделительно-категорическом силлогизме допустима в том случае, когда он построен по отрицающе-утверждающему модусу. Например:
В силлогизме нет ошибки, несмотря на то что дизъюнкция в первой посылке была нестрогой. Таким образом, рассматриваемое правило безоговорочно действует только для утверждающе-отрицающего модуса разделительно-категорического силлогизма.
Деление в первой посылке должно быть последовательным. Например:
В силлогизме ложный вывод следует из истинных посылок по той причине, что в первой посылке была допущена уже известная нам ошибка, которая называется скачком в делении.