În logica formală sau într-un calcul, o formulă este validă, dacă este confirmată de orice interpretare aleatoare.
