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

UptoLike

14
зового высказывания, соответствующего заключению в этом силлогизме. Следовательно,
истинность его посылок всегда обеспечивает истинность заключения.
Пример модуса первой фигуры EJO:
Всякий дятел красиво не поет.
Некоторые птицы - дятлы.
Некоторые птицы красиво не поют.
Рассмотрим модус четвертой фигуры JAO:
Некоторые
Р
есть
М.
Всякий
М
есть
S.
Некоторые
S
не есть
Р.
Соответствующая графическая интерпретация дана на рис. 2.5.
зового высказывания, соответствующего заключению в этом силлогизме. Следовательно,
истинность его посылок всегда обеспечивает истинность заключения.




      Пример модуса первой фигуры EJO:
             Всякий дятел красиво не поет.
             Некоторые птицы - дятлы.
             Некоторые птицы красиво не поют.
      Рассмотрим модус четвертой фигуры JAO:
                                  Некоторые        Р    есть      М.
                                  Всякий           М    есть      S.
                                  Некоторые        S    не есть   Р.

Соответствующая        графическая           интерпретация        дана   на   рис.   2.5.




                                                   14