Validité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'une phrase (formule sans variables libres) qui est vraie sous toute interprétation ou valuation admissible dans la logique ; une phrase vraie dans tous les modèles est valide (vérité logique).