👉 A contrapositive is a type of logical statement that reverses or transforms the original statement. It is formed by changing the truth value of one of the original statements to make it false. For example, if we have the statement "All dogs are mammals," its contrapositive would be "Not all dogs are cats." This means that if a dog is not a cat, then it cannot be a mammal.