Utilizando la regla de inferencia del modus ponens entre q y (q→￢p), es posible deducir ￢p.