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 .
Portály: Matematika
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.