n. Logic 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. |
The American Heritage® Dictionary of the English Language, Fifth Edition copyright ©2022 by HarperCollins Publishers. All rights reserved.