La equivalencia lógica entre dos proposiciones significa que ambas son simultáneamente verdaderas o simultáneamente falsa.