Die Skalemnormalform in der Prädikatenlogik

Eine Formel ist in Skolem-Normalform wenn sie in Pränex-Normalform ist und alle Existenzquantoren eliminiert wurden. Die Skolem-Normalform enthält nur All-Quantoren.