Uzávěr (logika)

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 .

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.