Olá,
Alguém da lista poderia indicar uma tradução para a expressão
"quantifier rank", de preferência que seja ou tenha sido usada na
literatura em língua portuguesa? Esse mesmo conceito também é chamado
de "quantifier depth".
Trata-se do maior número de nós de quantificadores em um ramo da
árvore sintática (parse tree) de uma fórmula (e.g., da lógica de
primeira-ordem). Calcula-se recursivamente da seguinte forma:
qr(\phi) = 0, se \phi é atômica,
qr(\phi * \psi) = max{qr(\phi), qr(\psi)}, * \in {V, &,...}
qr(\neg\phi) = qr(\phi),
qr(\exists x \phi) = qr(\forall x \phi) = qr(\phi) + 1.
Pensei em "grau de aninhamento de quantificadores" ou "profundidade de
aninhamento de quantificadores".
Se alguém souber da ocorrência de tradução para essa expressão na
literatura, agradeço desde já se puder me indicar.
Francicleber
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
