A statement that is formed by switching the premise and the conclusion of another statement.
» NB Math Dictionary
