Variable libre

Versión para impresión

En lógica de predicados, es una variable que no está cuantificada.

Ver también: 
Lógica de predicados