Vita:Skolem-normálforma

	Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik. Bátran kapcsolódj be a szerkesztésébe!
Besorolatlan	Ezt a szócikket még nem sorolták be a kidolgozottsági skálán.
Nem értékelt	Ezt a szócikket még nem értékelték a műhely fontossági skáláján.
Értékelő szerkesztő: ismeretlen

A cikk kicsit pontatlan szerintem. Amit leír, az a Skolem formula definíciója.

Ugyanis A Skolem formula egy olyan

$\forall x_{1}\forall x_{2},\ldots \forall x_{n}A$

elsőrendű logikai formula, ahol a prefixumban csak univerzális kvantorok vannak, illetve a formula magja ("A") kvantormentes. A Skolem-normálforma az ugyanez, csak annyi különbséggel, hogy a formula magjának konjunktív normálformának kell lennie.