Una fórmula és consistent si i només si té almenys una interpretació (en un dominio no buit) que la fa vertadera (veure exemple), o és vertadera almenys per a una asignación de valors de veritat;.