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

         Как видно из рисунка, модус является неправильным. Для первой посылки возможны четыре области
истинности в жергоновских отношениях. При добавлении второй посылки с учетом требований к ее истинности
можно получить восемь вариантов, показанных в нижней части рис.2.5. Однако, не все полученные области являются
областями истинности для базового высказывания, соответствующего заключению. На рис.2.5 буквой "             "
обозначены те области, которые приводят к ложности заключения. Следовательно, силлогизм не является
правильным. Из истинности его посылок не всегда следует истинность его заключения. Примерами ошибочных
заключений являются:
         Некоторые люди - члены партии.
         Всякий член партии имеет партбилет.
         Некоторые имеющие партбилеты - не люди
или
         Некоторые люди - негры.
         Всякий негр - темнокожий
         Некоторые темнокожие - не люди.
         Таким образом, имеются правильные и неправильные силлогизмы (модусы). Из 256 возможных силлогизмов
только 24 являются правильными, а остальные могут привести к ошибочному выводу. Правильные модусы образуют
ядро теории дедуктивных выводов, в котором от правильных посылок всегда гарантируется переход к правильному
заключению.




                                           Вопросы и упражнения
1) Укажите схемы базовых высказываний, используемых в теории силлогистических выводов.
2) Дайте графическую интерпретацию схем базовых высказываний с использованием жергоновских отношений.
3) Даны следующие высказывания:
      а) "Всякий огородный овощ съедобен";
      б) "Всякий автомобиль не есть трамвай";
      в) "Некоторые люди могут прыгнуть в высоту на два метра";
      г) "Некоторые деревья сбрасывают на зиму свою листву";
      д) "Отец и мать есть родители";
      е) "Приматы не есть все обезьяна";
      ж) "Иванов - сотрудник нашей лаборатории";




                                                       15