contraposition
Prononciation et analyses de « contraposition » 1 analyse · 0.0 occurrences par million
| lemme | catégorie | analyse | prononciation | fréq. |
|---|---|---|---|---|
| contraposition | nom commun | singulier féminin | kɔ̃.tʁa.pɔ.zi.sjɔ̃[n] |
Formes, analyses, prononciation et fréquences : base LeXiK (B, noyau). Fréquences en occurrences par million de mots (sous-titres) ; la fréquence d'une analyse est la part de cette analyse dans les corpus étiquetés, celle d'un lemme la somme de ses analyses.
Définitions de « contraposition » nom commun · féminin · fréq. 0.0
pluriel : contrapositions
Formes de « contraposition » 2 : contraposition, contrapositions
- contraposition kɔ̃.tʁa.pɔ.zi.sjɔ̃[n] singulier féminin
- contrapositions kɔ̃.tʁa.pɔ.zi.sjɔ̃[z] pluriel féminin
nom commun · féminin
Étymologie. Motdérivé de position, avec le préfixe contra-.
-
logique
Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l'antécédent (« donc non A »).
- C’est ce qu’on appelle, en logique mathématique, une contraposition. À titre d’illustration, disons que si vous avez beaucoup d’affaires (P), vous avez besoin d’une grande valise (S). Il n’en découle pas que si un un voyageur a une grande valise, il transporte en réalité beaucoup de choses. En revanche, cela signifie que si la valise n’est pas grande, il ne peut pas avoir emporté beaucoup de choses. En d’autres termes, « non S » prouve « non P ». — George G. Szpiro, La conjecture de Poincaré, Points, 2007, page 186
- synonymes
- modus tollens
- antonymes
- modus ponens
- apparentés
- contraposée
Traductions
- Anglais
- contraposition
- Espagnol
- contraposición lógica
- Allemand
- Kontraposition
- Portugais
- contraposição
- Arabe
- عَكْسُ النَّقِيضِ
Source : « contraposition », Wiktionnaire, section nom commun (CC BY-SA 3.0).
Relations d'autres sources JeuxDeMots, WOLF — au niveau du lemme, sans distinction des lexèmes
- hyperonymes 1
- raisonnementJ
- dérivés 1
- positionJ
J : JeuxDeMots (rezoJDM, CC0, relations de poids suffisant) ; W : WOLF (WordNet libre du français, CeCILL-C).
Entités nommées « contraposition » 1
| entité A→Z | type | notoriété (mondiale) | popularité (fr) |
|---|---|---|---|
| contraposition — type de raisonnement mathématiques | concept | 26 | 80 |
Entités : Wikidata (CC0) ; sélection et classement : Lectura.