Conséquence formelle

En logique, inférence dont la validité tient à la seule forme de l'argument, indépendamment du contenu des termes, telle que la conclusion ne peut être fausse si les prémisses sont vraies.