 |
 |
 |
-
61642 Results for
- Philippe Conrad
- Valentin Conrart
- Gabriel Conroy
- Consecutio temporum
- Conseil d’état
- Consensu omnium
- Consensus facit nuptias
- Consequentia mirabilis
- Fagner Conserva Lemos
- Anne Consigny
- Charles Consigny
- Thierry Consigny
- consilium principis
- Carmen Consoli
- Consommé 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