Contraposition (traditional logic)
= 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.