Contraposition (traditional logic)

ID: contraposition-traditional-logic

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

New to topics? Read the docs here!