Validitate
Sari la navigare
Sari la căutare
Î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.