Vita:Skolem-normálforma

A Wikipédiából, a szabad enciklopédiából
Ugrás a navigációhoz Ugrás a kereséshez
Nuvola apps edu mathematics blue-p.svg 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

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.