Словарь по логике

Дополнение к формальной теории: Пусть Cn – некоторое дедуктивное замыкание, заданное на множестве формул L и L_Cn – множество всех замкнутых относительно Cn множеств формул L, тогда операция дополнения в топрологической системе <L_Cn, > определяется следующим образом.
T* = _AєT Cn(¬A).