Skolemova normální forma

Logika, normální forma uspořádaná tak, že v jejím prefixu jsou uvedeny postupně stejnorodé kvantifikátory – buď nejdříve obecné a pak existenční, nebo naopak nejdříve existenční a pak obecné – zatímco jádro formule neobsahuje žádný kvantifikátor. Skolemova normální forma se využívá v predikátové logice při řešení problematiky rozhodnutelnosti.