будови коректних екзистенціальних суджень і відповідно інший клас екзистенціальних суджень. Припустимо, що ми вибираємо літерали для правої частини екзистенціального судження, але за цьому вимагатимемо виконання тільки однієї умови: це судження в даній структурі повинно бути коректним. Тоді з'являється можливість побудувати такі коректні екзистенційні судження, у яких в правій частині безліч літералів не є підмножиною літералів-якого максимального верхнього конуса структури. Щоб такий вибір не проводився наосліп, можна скористатися наступною теоремою. Припустимо, що в структурі вибрано деяке безліч літералів M = {L1, L2, ... Lk}, при цьому умова, що M включено в один з максимальних верхніх конусів структури, не обов'язково. Тоді справедлива наступна теорема. br/>
Список літератури
1. Керролл Л. Історія з вузликами. - М.: Мир, 1973. p> 2. Кулик Б.А. Моделювання міркувань на основі законів алгебри множин// Праці V національній конференції з штучного інтелекту. Казань, 7-12 жовтня 2006 Т.1. С. 58-61. p> 3. Кулик Б.А. Основні принципи філософії здорового глузду (пізнавальний аспект)// Новини штучного інтелекту, 2006, No 3, с. 7-92. br/>
