bn:03161015n
Noun Concept
Categories: Lógica matemática, Teoria dos modelos
PT
Skolemização  Forma Normal de Skolem  função de skolem
PT
Uma fórmula da lógica de primeira ordem está na forma normal de Skolem, se sua forma normal prenex contiver somente quantificadores universais. Wikipedia
Definitions
Relations
Sources