La condición de ser susceptible de ser verdadero o falso requiere además algunas propiedades formales: