Posto de quantificadores: diferenças entre revisões

Na [[lógica matemática]], o '''posto de quantificadores''' de uma [[Fórmula matemática|fórmula]] é a profundidade dado árvoreaninhamento de seus quantificadores, desempenhando um papel essencial na teoria de modelos.<br />

Note que o posto dode quantificadorquantificadores é uma propriedade da própria fórmula (como a expressão em uma linguagem). Assim, duas fórmulas equivalentes podem ter diferentes postos, quando elas expressãoexpressam duas coisas iguais porém de maneira diferente.