Читать контрольная по финансовому менеджменту, финансовой математике: "Формирование и проверка гипотез" Страница 2

(Назад) (Cкачать работу)

Более интересен случай, когда в новом суждении наряду с новыми терминами содержатся базовые термины E-структуры R. Самый простой вариант, когда в систему добавляется новое суждение, но при этом в системе содержится только один из терминов нового суждения. Тогда независимо от того, является ли новым термином предикат или субъект данного суждения, наша система «воспримет» новое суждение без всяких коллизий. За счет постепенного наращивания таких рассмотренных выше случаев происходит неограниченное расширение любой исходной системы.

В качестве примера рассмотрим полисиллогизм Л. Кэрролла.

1) Всякие малые дети неразумны;

2) Все, кто укрощает крокодилов, заслуживают уважения;

3) Все неразумные люди не заслуживают уважения.

Добавим в этот полисиллогизм еще одно суждение: "Все обманщики не заслуживают уважения". В этом суждении предикат представлен термином, уже содержащимся в системе, а субъект – новым термином («обманщики»). В результате такого пополнения наша система также останется корректной системой, а число базовых терминов системы увеличится на два («обманщики» и их отрицание – «не обманщики»). При этом в новой системе появляются некоторые интересные особенности, которые будут рассмотрены несколько позже.

Бесконфликтность системы, обновленной за счет такой гипотезы, можно проверить, построив соответствующее CTзамыкание. Более сложным является случай, когда в новом суждении предусматривается новая связь между двумя и более терминами исходной системы. Частично этот случай был рассмотрен в предыдущем разделе, когда с помощью верхних конусов в корректной Eструктуре строились некоторые экзистенциальные суждения, в которых появлялись уже новые термины. Тем самым мы бесконфликтно дополняли исходную E-структуру новыми суждениями, не используя при этом основные правила вывода (контрапозиции и транзитивности). Но этот метод позволяет сформировать только гипотезы, которые являются безусловными экзистенциальными суждениями.

Рассмотрим пример условного экзистенциального суждения. Пусть задана простая Eструктура с двумя суждениями: AB и BC. Построим ее CTзамыкание и выделим все максимальные верхние конусы:

A = {A, B, C};  = {,,}.

CT-замыкание этой E-структуры представлено в виде графа на рис. 1.

дедуктивный логический вывод рассуждение Рис. 1Рис. 2 Испытаем для этой E-структуры экзистенциальное суждение W(, B). Совокупность литералов {, B} не включена ни в один из максимальных верхних конусов и поэтому данное суждение не является безусловным. А будет структура корректной, если мы присоединим это

Похожие работы