En lógica de predicados, es una variable que no está cuantificada.
Enlaces:[1] https://www.matetam.com/glosario/definicion/logica-predicados