Oración (Fórmula Cerrada)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una fórmula sin variables libres — una fórmula bien formada cerrada — que afirma una proposición sobre el dominio de discurso y puede recibir un valor de verdad respecto a una interpretación o estructura.