Es fácil advertir que la negación del conjunto ¬(P ∧ ¬Q) es en la lógica proposicional en un todo equivalente a P→Q.