Принятие управленческих решений в маркетинге с помощью компьютерных средств, страница 69

○  Закон двойного отрицания А есть не не А.

Выводы ранга 1 получаются из одной имеющейся посылки (исходного утверждения). Корректные выводы ранга 1 сведены в табл. 4.

На основе выводов ранга 1 строится система преобразования высказываний к удобному виду.

Выводы ранга 2 получаются из двух имеющихся посылок и называются силлогизмами. Они могут дать полезные результаты.

Если в двух посылках (например, всякий S есть P и некоторый R есть Q) имеется четыре сущности, то ничего сказать нельзя[67]. Посылки должны быть как-то связаны.

Классы сущностей в посылках силлогизма обозначаются S (меньший), Р (больший) и М (средний). Класс M присутствует в обеих посылках. В зависимости от положения общего класса образуются 4 фигуры (рис.Рис. 29).

На этом рисунке обозначены структуры расположения классов в двух посылках и одном результирующем высказывании. Так как каждое из высказываний может быть типа А, Е, I, O, то возможно большое количество силлогизмов. Часть из них истинна, часть – ложна.

Таблица 3

Схемы базовых высказываний

Пример высказывания[68]

Формальное
описание

Обозначение

Всякое закрытое акционерное общество есть юридическое лицо

Всякий S есть Р

ASP
(А = Всякий…есть…)

Всякое юридическое лицо не есть физическое лицо

Всякий S не есть Р

ESP
(Е = Всякий…не есть…)

Некоторые товары убыточны

Некоторый S есть Р

ISP
(I = некоторый…есть…)

Некоторые предприятия не приносят прибыли

Некоторый S не есть Р

OSP
(А = Некоторый… не есть…)

Рекламные мероприятия есть мероприятия по продвижению товаров

S есть Р

Мероприятия по пропаганде не есть мероприятия по стимулированию сбыта

S не есть Р

ООО «Альфа» есть юридическое лицо

а есть Р

Первый посетитель магазина ничего не купил

а не есть Р

Таблица 4

Выводы ранга 1

Исходное высказывание

Результат

Обозначение

Всякий S есть P

Некоторый P есть S

ASPàIPS

Всякий S не есть P

Всякий P не есть S

ESPàEPS

Неверно, что некоторый S есть P

ESPàНе ISP

Некоторый P не есть S

ESPàOPS

Некоторый S есть P

Некоторый P есть S

ISPàIPS

Всякий S есть не P

Всякий S не есть P

ASнеPàESP

Всякий S не есть не P

Всякий S есть Р

ESнеPàASP

Некоторый S есть не P

Некоторый S не есть Р

ISнеPàOSP

Некоторый S не есть не P

Некоторый S есть Р

OSнеPàISP