Implication réciproque
- Implication réciproque
-
* implication : « S'il y a du feu alors il y a de la fumée. »
- réciproque : « S'il y a de la fumée alors il y a du feu. »
Exemple d'une implication et de sa réciproque.
En mathématiques, une implication réciproque est une proposition renversant la prémisse et la conclusion d'une implication. La réciproque de la réciproque est alors l'implication initiale.
Lorsque l'implication comporte plusieurs prémisses, l'interversion de la conclusion avec seulement une partie des prémisses est parfois aussi appelée réciproque, comme par exemple pour le théorème de Thalès où les conditions d'alignement restent en prémisse pour la réciproque.
Notation logique et interprétation
Si une implication est notée :
alors sa réciproque se note :
Ainsi, la réciproque d'une phrase de la forme « tout A est B » s'énonce « tout B est A ».
Cependant, une phrase de la forme « aucun A n'est B » est équivalente à « aucun B n'est A ». Leur réciproque commune peut s'énoncer sous la forme « tout ce qui n'est pas A est B ».
Voir aussi
Sur les autres projets Wikimedia :
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Implication réciproque de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
implication — [ ɛ̃plikasjɔ̃ ] n. f. • XVe « fait d être embrouillé »; lat. implicatio 1 ♦ (1611) Dr. Action d impliquer (qqn) dans une affaire criminelle. 2 ♦ Log. Relation logique consistant en ce qu une chose en implique une autre (si A, alors B). Log., math … Encyclopédie Universelle
Reciproque — Réciproque Pour les articles homonymes, voir Réciproque (homonymie). La réciproque est une relation d implication. Si l on a deux propositions A et B, voici les deux implications que l on peut former à l aide de ces propositions : Ces… … Wikipédia en Français
Réciproque — Pour les articles homonymes, voir Réciproque (homonymie). La réciproque est une relation d implication. Si l on a deux propositions A et B, voici les deux implications que l on peut former à l aide de ces propositions : Ces implications sont … Wikipédia en Français
Réciproque (mathématiques élémentaires) — Réciproque Pour les articles homonymes, voir Réciproque (homonymie). La réciproque est une relation d implication. Si l on a deux propositions A et B, voici les deux implications que l on peut former à l aide de ces propositions : Ces… … Wikipédia en Français
IMPLICATION (philosophie) — IMPLICATION, philosophie Il y a implication, au sens usuel, lorsqu’une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d’abord inaperçue, peut être rendue manifeste. En philosophie, la définition … Encyclopédie Universelle
Reciproque (homonymie) — Réciproque (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom … Wikipédia en Français
Réciproque (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Réciproque (homonymie) », sur le Wiktionnaire (dictionnaire universel) En mathématiques : En… … Wikipédia en Français
Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… … Wikipédia en Français
Logique (mathématiques) — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… … Wikipédia en Français
Logique Mathématique — La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une … Wikipédia en Français
