(Более удобен, чем метод диаграмм Эйлера, поскольку позволяет принимать в расчет пустые и непустые классы). Может быть представлен посредством следующего алгоритма:
I. Все суждения, входящие в состав силлогизма, записываются в виде: «Все А — В» — аАВ, «Ни одно А не В» — еАВ, «Некоторые Л — В» - - iAB, «Некоторые А не В» — оАВ.
И. Исходя из логического следования К< М (К часть М) <-> КМ -0, записываются дополнения суждений через пустые/непустые классы: аАВ = АВ=0, еАВ=АВ = 0, iAB = AB*0, оАВ = = А В * 0.
III. На диаграммах отмечаются классы не самих суждений, а их дополнений по следующим формализованным правилам:
1) обозначаем: А — меньший термин, 3 — больший, М — средний;
2) посылки формализуются, как показано
на рисунке;
3) область штрихуется, если она пустая;
4) если область непустая, то в ней ставится
точка;
5) чистые области (без точек и штриховок)
могут быть как пустыми, так и непустыми (то
есть неопределенность);
6) если местонахождение непустого класса неясно, то точки в разных областях соединяются линией (что указывает на многозначность непустого класса);
|
|
7) из диаграмм нужно увидеть соотношение между крайними терминами А и В.
Силлогизм является правильным, если,.. верждение вывода оказывается уже изображен ным на диаграммах. |
Силлогизм является правильным, если утверждение вывода оказывается уже изображенным на диаграммах.