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.