Un ejemplo menos trivial es una redundancia de la equivalencia clásica entre ¬ P ∨ Q y P → Q.