Validez

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propiedad de una oración (fórmula cerrada sin variables libres) que es verdadera bajo toda interpretación o valoración admisible en la lógica; una oración que se cumple en todos los modelos es válida (verdad lógica).