O que é contrapositiva?

A contrapositiva de uma proposição condicional é uma outra proposição condicional que possui a mesma verdade ou falsidade da proposição original. Para formar a contrapositiva de uma proposição condicional, primeiro negamos a conclusão da proposição original e em seguida negamos a hipótese.

Por exemplo, se a proposição condicional original é "Se chover, então a rua ficará molhada", a contrapositiva seria "Se a rua não ficar molhada, então não choverá".

A contrapositiva é muitas vezes utilizada em lógica e matemática para fazer demonstrações indiretas ou para simplificar argumentos. É importante lembrar que a contrapositiva não é equivalente à proposição original, mas possui a mesma verdade ou falsidade.