Subtópico

Contrapositiva do condicional

Reconhecer que p→q equivale à sua contrapositiva ¬q→¬p e usá-la para julgar equivalências.