Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 12 стр.

       Ниже приведены примеры выводов первого ранга:
               Asp |— ┐ Osp ; Asp |— Jps ; Esp |— Ops.
       Перейдем к рассмотрению силлогизмов Аристотеля, представляющих собой выводы ранга 2. В посылках
таких выводов фигурируют три класса сущностей: S - меньший термин; Р - больший термин; М - средний термин,
причем каждая из посылок и заключение представляют собой базовые высказывания силлогистики. В соответствии с
тем, как используются S , Р и М в высказываниях, в силлогистике выделяют четыре фигуры. Схематически эти
фигуры показаны на рис.2.2, причем номера схем на рис. 2.2 соответствуют номерам фигур.




Конкретные типы силлогизмов, порожденных с использованием данных структур, называются модусами. По-
рождение модуса происходит путем выбора из четырех символов
А, Е , J , О по одному символу для первой и второй посылок и заключения. При




                                                      12