Negation Introduction is a rule of inference that allows us to deduce the negation of a sentence if it leads to a contradiction. If we believe (φ ⇒ ψ) and (φ ⇒ ¬ψ), then we can deduce (¬φ).