Contraposição

Na lógica, espécie de dedução imediata que consiste na permutação dos termos de uma proposição ou de uma inferência ao negá-los: assim de "todo S é P", deduz-se "todo não P é não S". Também "se A é verdadeiro, B é verdadeiro", deduzem alguns lógicos "se B é falso, A é falso", o que nem sempre é procedente.