normální forma

normální forma, log . 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 log. kalkulu se zavádí speciální definicí. Ve výrokovém kalkulu jsou běžné disjunktivní a konjunktivní n. f.; v predikátovém kalkulu je běžná např. Skolemova n. f., v níž všechny částečné kvantifikátory stojí před všemi obecnými kvantifikátory.


zpět