normální forma
Filozofie
Formulace, která je jiné, původní formuli ekvivalentní, ale její tvar je z nějakého důvodu výhodný pro řešení některých úloh. V každém logickém kalkulu se zavádí speciální definicí. Ve výrokovém kalkulu jsou běžné disjunktivní a konjunktivní normální formy, v predikátovém kalkulu je běžná například Skolemova normální forma, v níž všechny částečné kvantifikátory stojí před všemi obecnými kvantifikátory.
Vytvořeno:
14. 3. 2000
Aktualizováno:
18. 2. 2025
Autor: -red-