Validitate
Unelte
General
Tipărire/exportare
De la Wikipedia, enciclopedia liberă
În logica formală sau într-un calcul, o formulă este validă, dacă este confirmată de orice interpretare aleatoare.
Categorie ascunsă:
În logica formală sau într-un calcul, o formulă este validă, dacă este confirmată de orice interpretare aleatoare.