Metadata
Author: WikiMatrix
Data
English[en]
In mathematical logic, a formula of first-order logic is in Skolem normal form if it is in prenex normal form with only universal first-order quantifiers.
Swedish[sv]
En formel i första ordningens logik är på Skolems normalform om den är på konjunktiv prenex normalform med enbart allkvantifikatorer.