Метод диаграмм Венна

(Более удобен, чем метод диаграмм Эйле­ра, поскольку позволяет принимать в расчет пустые и непустые классы). Может быть пред­ставлен посредством следующего алгоритма:

I. Все суждения, входящие в состав силло­гизма, записываются в виде: «Все А — В» — аАВ, «Ни одно А не В» — еАВ, «Некоторые Л — В» - - iAB, «Некоторые А не В» — оАВ.

И. Исходя из логического следования К< М (К часть М) <-> КМ -0, записываются дополне­ния суждений через пустые/непустые классы: аАВ = АВ=0, еАВ=АВ = 0, iAB = AB*0, оАВ = = А В * 0.

III. На диаграммах отмечаются классы не самих суждений, а их дополнений по следу­ющим формализованным правилам:

1) обозначаем: А — меньший термин, 3 — больший, М — средний;

2) посылки формализуются, как показано
на рисунке;

3) область штрихуется, если она пустая;

4) если область непустая, то в ней ставится
точка;

5) чистые области (без точек и штриховок)
могут быть как пустыми, так и непустыми (то
есть неопределенность);

6) если местонахождение непустого класса неясно, то точки в разных областях соединя­ются линией (что указывает на многозначность непустого класса);

7) из диаграмм нужно увидеть соотноше­ние между крайними терминами А и В.

Силлогизм является правильным, если ут­верждение вывода оказывается уже изображен­ным на диаграммах.