Formule v predikátové logice je v kanonickém tvaru, pokud žádná proměnná, která se ve formuli vyskytuje jako volná, se v ní nevyskytuje jako vázaná, za každým kvantifikátorem je jiná proměnná.
Ke každé formuli existuje ekvivalentní formule v kanonickém tvaru. Každou formuli lze převést do kanonického tvaru vhodným přejmenováním vázaných proměnných.
Příklad
Ve formuli jsou proměnné a vázané a proměnná volná. je tedy kanonická. Ve formuli jsou všechny výskyty proměnné vázané, ale výskyty proměnné jsou jak vázané tak volné. proto není v kanonickém tvaru. Výsledkem převodu do kanonického tvaru je formule (vzniklá přejmenováním vázaných proměnných):
Odkazy Reference
Související články Kanonický tvar
Kategorie:Logika