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

четырех фигурах это дает 256 различных модусов. Рассмотрим модус первой фигуры ААА :
Всякий М есть Р
Всякий S есть М
Всякий S есть Р
Проверим правильность данного модуса с использованием жергоновских отношений и таблицы
соответствия. Вначале на верхнем уровне нарисуем все варианты жергоновских отношений,
соответствующих первой посылке. Поскольку вторая посылка также истинна, то на нижнем
уровне с учетом жергоновских отношений верхнего уровня построим области, в которых
одновременно выполняются требования обеих посылок (рис.2.3).




       Как видно из рисунка, таких областей три. Для всех трех областей S и Р имеются жергоновские отношения
такого типа, который обеспечивает истинность заключения силлогизма. Таким образом, при истинности посылок
рассматриваемого
силлогизма результат вывода (переход к заключению) всегда возможен и заключение будет истинным. Пример
модуса первой фигуры ААА:
       Всякая птица имеет перья.
       Всякий дятел — птица.
       Всякий дятел имеет перья.
Рассмотрим модус первой фигуры EJO:
       Всякий М не есть Р
       Некоторые S есть М
       Некоторые S не есть Р
Проверка правильности данного модуса показана на рис.2.4. Все четыре полученные области
являются областями истинности для ба-




                                                    13