Condition nécessaire

Condition nécessaire

Implication (logique)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Implication.

En logique classique, l'expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬PQ est vraie ». Formellement cela s'écrit PQ.

En logique intuitionniste, PQ signifie que si l'on a une démonstration de P alors on a une démonstration de Q.

Le symbole « ⇒ » s’appelle connecteur d’implication. « PQ » s’appelle une implication logique.

Sommaire

Propriétés

La table de vérité[1] de l’implication est donnée par le tableau :

P Q ¬P PQ
vrai vrai faux vrai
vrai faux faux faux
faux vrai vrai vrai
faux faux vrai vrai

Soient P, Q et R trois propositions.

  • (PQ) ⇔ (¬PQ) (définition)
  • (PQ) ∧ (QP) s'écrit aussi PQ ; c'est l'équivalence logique.
  • PP (l’implication est réflexive)
  • ((PQ) ∧ (QR)) ⇒ (PR) (transitivité de l'implication ou règle du modus barbara)
  • (¬(PQ)) ⇔ (P ∧ ¬Q) (négation d'une implication)
  • ((PQ) ∧ P) ⇒ Q (règle du modus ponens ou principe du syllogisme)
  • ((PQ) ∧ ¬Q) ⇒ ¬P (règle du modus tollens)
  • (PQ) ⇔ (¬Q ⇒ ¬P) (règle de contraposition : une implication est équivalente à sa contraposée)
  • (PQ) ⇔ ((PQ) ∧ (QP)) (loi de réciprocité)
  • ((PQ) ∧ (PR) ∧ (QR)) ⇒ R (disjonction des cas)

Non associativité de l'implication

Si l'implication était associative, les formules :

  • ((PQ) ⇒ R)
  • (P ⇒ (QR))

devraient prendre les mêmes valeurs de vérité pour P, Q et R. Or en prenant P fausse, Q vraie et R fausse, on a, d'une part, (PQ) ⇒ R fausse et, d'autre part, P ⇒ (QR) vraie.

En effet,

  • puisque P est fausse, la proposition PQ est vraie et puisque R est fausse, la proposition (PQ) ⇒ R est fausse ;
  • puisque Q est vraie et R est fausse, l’implication (QR) est fausse et puisque P est fausse, l’implication P ⇒ (QR) est vraie.

Différence avec l'équivalence

Voici un exemple de relation d'implication : « il fait beau » ⇒ « je suis heureux ». Cette proposition est vraie si je suis toujours heureux quand il fait beau.

À ne pas confondre avec la relation d'équivalence qui elle implique que je ne sois heureux QUE lorsqu'il fait beau. Cette confusion est à l'origine du sophisme de l'affirmation du conséquent.

  • La relation d'implication représente le SI (⇒) une condition suffisante dans un sens, une condition nécessaire dans l'autre : dans AB, A est une condition suffisante de B, et B est une condition nécessaire de A
    — et —
  • la relation d'équivalence représente le SI ET SEULEMENT SI (⇔), une condition nécessaire et suffisante ;
    AB équivaut à (AB) ET (BA)

voir aussi : Propriété contraposée

Implication et causalité

En dépit de sa notation (⇒) qui pourrait laisser suggérer une relation de cause à effet, l'implication logique n'a pas, en logique classique, de caractère séquentiel comme l'ont une cause et un effet. Le temps ne joue pas de rôle et il faut donc le définir explicitement si l'on veut qu'il joue un rôle (voir logique temporelle). En revanche, c'est pour intégrer ce genre de préoccupation que les logiciens ont introduit des logiques constructives, comme la logique intuitionniste ou la logique linéaire.

Divers

La table de vérité de l'implication était connue dès la Grèce antique, notamment par les stoïciens : « Du vrai suit le vrai... Du faux suit le faux... Du faux suit le vrai... Mais du vrai, le faux ne peut s'ensuivre »[2].

Liens internes

Notes et références

  1. donc en logique classique.
  2. Diogène Laërce, Vies et doctrines des philosophes, livre VII, 83
  • Portail de la logique Portail de la logique
  • Portail de la philosophie Portail de la philosophie
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Implication (logique) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Condition nécessaire de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • condition nécessaire — būtinoji sąlyga statusas T sritis fizika atitikmenys: angl. necessary condition vok. notwendige Bedingung, f rus. необходимое условие, n pranc. condition nécessaire, f …   Fizikos terminų žodynas

  • Condition nécessaire et suffisante — Équivalence logique En logique classique, deux propositions P et Q sont logiquement équivalentes ou équivalentes si P et Q ont simultanément même valeur de vérité; c est à dire que P et Q sont vraies (resp. fausses), dans exactement les mêmes… …   Wikipédia en Français

  • nécessaire — [ nesesɛr ] adj. et n. m. • XIIe; lat. necessarius I ♦ Adj. 1 ♦ Se dit d une condition, d un moyen dont la présence ou l action rend seule possible une fin ou un effet. Condition nécessaire et suffisante pour qu un quadrilatère soit un rectangle… …   Encyclopédie Universelle

  • condition — [ kɔ̃disjɔ̃ ] n. f. • v. 1160 « convention, pacte »; bas lat. conditio, class. condicio I ♦ (État, manière d être.) A ♦ (Personnes) 1 ♦ (XIIIe) Vieilli Rang social, place dans la société. ⇒ classe, état. L inégalité des conditions sociales. Les… …   Encyclopédie Universelle

  • Condition gagnante — Condition Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • condition — CONDITION. s. f. La nature, l état et la qualité d une chose ou d une personne. La condition des choses humaines est d être périssables. La condition des Princes les oblige à plus de devoirs que les autres hommes. Cette marchandise n a pas les… …   Dictionnaire de l'Académie Française 1798

  • condition — CONDITION. s. f. La nature, l estat & la qualité d une chose ou d une personne. La condition des choses d icy bas. la condition des hommes semble plus malheureuse que celle des animaux. la condition des Princes ne souffre pas &c. cette… …   Dictionnaire de l'Académie française

  • CONDITION — n. f. Nature, état ou qualité d’une chose ou d’une personne. La condition des choses humaines est d’être périssables. La condition humaine. Les misères de notre condition. Il se dit quelquefois des Qualités d’un objet par rapport à sa destination …   Dictionnaire de l'Academie Francaise, 8eme edition (1935)

  • Condition — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Condition », sur le Wiktionnaire (dictionnaire universel) Sciences (en mathématiques et en physique)… …   Wikipédia en Français

  • Condition suffisante — Implication (logique) Pour les articles homonymes, voir Implication. En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”