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

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

11
Таблица соответствия
Номер схемы
базового
высказывания
Индекс
жергоновского
отношения
Номер схемы
базового
высказывания
Индекс
жергоновского
отношения
1
а, б
5
а, б, в, г
2
д
6
в, г, д
3
а, б, в, г
7
е
4
в, г, д
8
ж
Любой вывод в силлогистике Аристотеля может иметь или не иметь посылок. По числу используемых
посылок можно различать выводы ранга 0,1,2 и т.д. Утверждения, для которых посылки не нужны, называются
законами силлогистики. Таких законов в силлогистике три: закон тождества, закон противоречия и закон
исключенного третьего. Прежде чем перейти к их формулировкам, введем следующие обозначения:
А
Всякий
+
есть
E
Всякий
+
не есть
J
Некоторый
+
есть
О
Некоторый
+
не есть
В этих записях знак "+" означает свободное место, на которое можно поставить имя класса сущности. В
первой позиции этот класс играет роль класса S , а во второй - Р. Для удобства записи конкретные классы
обозначаются малыми буквами s и р Введем еще один символ - " |— ", называемый знаком выводимости. Запись
F|—Q означает, что если все посылки, входящие в F , выводимы, то заключение Q, также выводимо. Запись |—Q
означает, что Q, выводимо всегда.
1. "Закон тождества: |— Ass.
Всякая конкретная сущность, входящая в класс s , обладает всеми свойствами элементов этого класса.
2. Закон противоречия: |— ┐ (Asp & Esp).
Невозможна такая ситуация, когда конкретные сущности из класса s одновременно входят в класс р и не входят в
него.
3. Закон исключенного третьего: |— ┐ (Jsp v Osp).
Для каждой конкретной сущности a , входящей в класс S, истинно одно из двух утверждений: " a входит в p" или " a
не входит в р". Третьего не дано. 
                             Таблица соответствия

Номер схемы     Индекс        Номер схемы Индекс
базового        жергоновского базового     жергоновского
высказывания                  высказывания отношения
                отношения

1               а, б                  5              а, б, в, г
2               д                     6              в, г, д
3               а, б, в, г            7              е
4               в, г, д               8              ж

        Любой вывод в силлогистике Аристотеля может иметь или не иметь посылок. По числу используемых
посылок можно различать выводы ранга 0,1,2 и т.д. Утверждения, для которых посылки не нужны, называются
законами силлогистики. Таких законов в силлогистике три: закон тождества, закон противоречия и закон
исключенного третьего. Прежде чем перейти к их формулировкам, введем следующие обозначения:


                                          А     Всякий         +   есть      +;
                                          E     Всякий         +   не есть   +;
                                          J    Некоторый       +   есть      +;
                                          О    Некоторый       +   не есть   +;


        В этих записях знак "+" означает свободное место, на которое можно поставить имя класса сущности. В
первой позиции этот класс играет роль класса S , а во второй - Р. Для удобства записи конкретные классы
обозначаются малыми буквами s и р Введем еще один символ - " |— ", называемый знаком выводимости. Запись
F|—Q означает, что если все посылки, входящие в F , выводимы, то заключение Q, также выводимо. Запись |—Q
означает, что Q, выводимо всегда.
        1. "Закон тождества: |— Ass.
Всякая конкретная сущность, входящая в класс s , обладает всеми свойствами элементов этого класса.
        2. Закон противоречия: |— ┐ (Asp & Esp).
Невозможна такая ситуация, когда конкретные сущности из класса s одновременно входят в класс р и не входят в
него.
        3. Закон исключенного третьего: |— ┐ (Jsp v Osp).
Для каждой конкретной сущности a , входящей в класс S, истинно одно из двух утверждений: " a входит в p" или " a
не входит в р". Третьего не дано.




                                                           11

Страницы