Webster's New World College Dictionary Copyright © 2010 by Wiley Publishing, Inc., Cleveland, Ohio.
Logic a proposition obtained by negating and transposing the terms of a given proposition: the contrapositive of “All A is B” is “All not-B is not-A”
Used by arrangement with John Wiley & Sons, Inc.
The American Heritage® Dictionary of the English Language, 4th edition Copyright © 2010 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.
A proposition derived by negating and permuting the terms of another, equivalent proposition; for example, All not-Y is not-X is the contrapositive of All X is Y.