From Wikipedia, the free encyclopedia
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 .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.