Una fórmula es falsa bajo una interpretación si y solo si no es verdadera bajo esa interpretación.