math

In mathematics, we often want to prove statements of the form P→QP\rightarrow Q, which reads “PP implies QQ.” Such a statement is true if QQ is true whenever PP is true, that is, when PP being true “forces” QQ to be true. An alternate but equivalent statement is the contrapositive ¬Q→¬P\neg Q\rightarrow \neg P, which…