якщо ми побудуємо діаграму Хассе якийсь E-структури і побачимо таку картинку (Рис. 6), то можемо сміливо без всяких перевірок стверджувати, що ця система є насиченою. В
Рис. 6
Неважко переконатися, що до даного структурному класу належить також і система, насиченість якої ми тільки що перевірили методом перебору. До цього класу відносяться майже всі приклади полісіллогізм, що наводяться в підручниках з логіки. Разом з тим, цей клас є всього лише окремим випадком E-структур і відповідних їм міркувань, тобто можливі класи E-структур, у яких схеми будуть більш заплутаними. Далі будуть розглянуті E-структури, для яких перевірка насиченості не є такою простою процедурою. Наведемо визначення і співвідношення, які після передував аналізу будуть більш зрозумілими.
Для заданої E-структури будь-яке судження, що містить тільки пару різних базових термінів цієї E-структури і не міститься в її CT-замиканні, називається базовим невиводимість судженням.
E-структура є насиченою, якщо додавання в неї будь-якого базового невиводимість судження викликає колізії парадоксу або циклу. В іншому випадку така структура є ненасиченої.
Для ненасичених E-структур будь-яке її базове невитравне судження, що не викликає в цієї E-структурі будь-яких колізій, називається базовою коректної гіпотезою цієї E-структури.
В
