Дедуктивное завершение

• Множество T в математической логике является дедуктивно замкнутым, если все формулы φ могут быть логически выведены из T. 
• Дедуктивное замыкание T является наименьшим надмножеством, которое дедуктивно замкнуто. 
• Дедуктивное завершение теории T часто обозначается как Дед(T) или Th(T). 
• В пропозициональной логике множество всех истинных утверждений дедуктивно замкнуто, что означает, что только истинные утверждения могут быть выведены из других истинных утверждений. 
• В эпистемологии философы спорят о том, являются ли определенные подмножества утверждений закрытыми для дедукции.