Categories
October Surprise 2024

Introduction to Logic – Chapter 5

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