 |
 |
 |
-
61642 Results for
- Laguna Conguagua
- Coen van Vrijberghe de Conin...
- CONLAON
- Connaissance de l'Est
- Connecticut
- Ruth Connell
- Jennifer Connelly
- Michael Connelly
- Amanda Conner
- Sean Connery
- Jason Connery
- Sara Connor
- James Scott Connors
- La Conquête de Plassans
- Joseph Conrad Next names
Previous names
Some info about LATIN
Consequentia mirabilis
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Category
QUOTES AND PHRASES
Consequentia mirabilis , also known as Clavius's Law, is used in traditional and classical logic to establish the truth of a proposition from the inconsistency of its negation.[1] It is thus related to reductio ad absurdum, but it can prove a proposition using just its own negation and the concept of consistency. For a more concrete formulation, it states that if a proposition is a consequence of its negation, then it is true, for consistency. In formal notation:
Wikipedia contributors, "Consequentia mirabilis," Wikipedia, The Free Encyclopedia,
ABOUT THE LATIN LANGUAGE