Variable libre

Enviado por jmd el 19 de Diciembre de 2009 - 19:10.
Versión para impresión

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

Ver también: 
Lógica de predicados
»