Decimos que una proposición es una verdad lógica, es decir, necesariamente verdadera, cuando: