Validité logique

Propriété d'une inférence dont la forme garantit que, les prémisses étant vraies, la conclusion l'est nécessairement. Elle relève de l'ordre de la conséquence et non de la vérité du contenu des propositions.