Log in

www.springer.com The European Mathematical Society

Tools

View source for Contraposition, law of

← Contraposition, law of

Jump to: navigation, search

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in the group: Users.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page.

{{TEX|done}}
The logical principle according to which if one statement implies another, then the negation of the latter implies the negation of the former:

$$(A\supset B)\supset(\neg B\supset\neg A).$$

The law of contraposition is used both in classical and constructive logic.

Template used on this page:

Template:TEX (view source)

Return to Contraposition, law of.

How to Cite This Entry:
Contraposition, law of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Contraposition,_law_of&oldid=31976

This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article

Retrieved from "https://encyclopediaofmath.org/wiki/Contraposition,_law_of"