Otevřít hlavní menu

Uzávěr (operátor konsekvence) na množině S je v logice funkce splňující podmínky

Používá se v algebraické logice k formalizaci konceptu vyplývání, platí tedy

Někdy je vyžadována ještě kompaktnost, tedy

Množina všech tautologií je . T je sporná, pokud . Pevné body funkce Cn se nazývají teoriemi. Bezesporná teorie T je úplná, pokud .