Pagini pentru editorii neautentificați aflați mai mult
În logica formală sau într-un calcul, o formulă este validă, dacă este confirmată de orice interpretare aleatoare.