The statement 'p → q is equivalent to ¬q → ¬p' refers to a fundamental principle in formal logic known as contraposition. This principle shows that an implication can be rewritten in terms of its contrapositive, which maintains the same truth value. Understanding this relationship is crucial for manipulating logical expressions and understanding logical equivalences in propositional calculus.
congrats on reading the definition of p → q is equivalent to ¬q → ¬p. now let's actually learn it.