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