Skolemização: diferenças entre revisões

Uma fórmula da [[lógica de primeira ordem]] está na '''forma normal de Skolem''' (nome devido à [[Thoralf Skolem]]), se sua [[forma normal prenex]] contiver somente quantificadores universais. Cada fórmula de primeira ordem pode ser convertida na forma normal de Skolem por meio do processo de skolemização. A fórmula resultante deste processo não é necessariamente [[Equivalência lógica|equivalente]] à original, mas é [[Valoração (lógica)|satisfatível]] [[se e somente se]] a original também o for.