¿Qué es la "forma determinada" de un predicado?

Question

Así que sigo leyendo El método GUHA de determinación automática de hipótesis por P. Hajek y allí utiliza una frase:

conjunto de predicados con una forma determinada

No tengo ni idea de qué determinado forma es. La búsqueda no ayuda. ¿Alguien puede ayudar?

Incluyo el contexto de la frase del documento (véase el subrayado amarillo):

P.D.: Para la bibliografía utilizada en el trabajo ver mi otra pregunta: ¿Qué es la L-implicación?

Answer 1

Por el contexto, parece que "un predicado con una forma determinada" sólo significa "un predicado que es interesante sólo si es positivo o interesante sólo si es negativo". Es decir, la "forma" de un predicado es sólo si es positivo o negativo (lo que supongo que se refiere a si el predicado mismo aparece o si aparece su negación), y un predicado tiene una forma determinada si sólo una de sus formas puede ocurrir en una disyunción "interesante".

Dicho de otro modo, el término "forma determinada" no tiene un significado previo. Cuando una sonda $(A,B,C,M,N)$ ha sido elegido, los elementos de $M$ se denominan "de forma determinada" con respecto a esta sonda. El término "determinado" se utiliza para describir el papel de $M$ (y su subconjunto $N$ ) en la definición de "interesante".