Contraposition (traditional logic) (source code)

= Contraposition (traditional logic)
{wiki=Contraposition_(traditional_logic)}

In traditional logic, contraposition is a rule of inference that involves switching and negating the terms of a conditional statement.