logical connective
Un connecteur logique est un symbole ou un terme formel permettant de construire des propositions composées à partir de propositions simples, en exprimant un lien logique précis entre elles. En logique propositionnelle, les connecteurs fondamentaux sont les suivants. La négation (¬P, lire « non P ») inverse la valeur de vérité d'une proposition : elle est vraie si P est fausse, et fausse si P est vraie. La conjonction (P ∧ Q, lire « P et Q ») est vraie uniquement lorsque les deux propositions sont simultanément vraies. La disjonction inclusive (P ∨ Q, lire « P ou Q ») est vraie dès que l'une au moins des deux propositions est vraie. La disjonction exclusive (P ⊕ Q) est vraie lorsqu'exactement l'une des deux propositions est vraie. L'implication (P ⇒ Q) est fausse uniquement dans le cas où P est vraie et Q fausse ; elle peut s'écrire de manière équivalente ¬P ∨ Q. L'équivalence logique (P ⇔ Q) est vraie lorsque P et Q ont la même valeur de vérité, ce qui revient à (P ⇒ Q) ∧ (Q ⇒ P). Il est remarquable que deux connecteurs seulement — par exemple la négation et la disjonction — suffisent à exprimer tous les liens logiques possibles entre propositions. En linguistique, les connecteurs logiques correspondent à des conjonctions, des adverbes ou des locutions du langage courant.
Contents
What you will learn
- Identifier le rôle des six connecteurs fondamentaux.
- Déterminer leur valeur sur deux propositions données.
- Distinguer disjonctions inclusive et exclusive, implication et équivalence.
- Contrôler l’implication grâce à ¬P ∨ Q.
In plain terms
Une entrée peut exiger une invitation et une pièce d’identité. Le mot « et » relie deux affirmations et fixe quand la condition complète est remplie : les deux doivent être vraies. Avec « ou », une seule peut suffire. Avec « non », le résultat s’inverse.
Un connecteur logique joue ce rôle de liaison avec une règle sans ambiguïté. À partir de propositions vraies ou fausses, il produit une nouvelle proposition dont la vérité dépend du connecteur choisi.
Definition
Un connecteur logique est un symbole ou un terme formel qui combine des propositions. Une proposition, notée par exemple P ou Q, possède une valeur de vérité : vraie ou fausse. La négation ¬P inverse cette valeur. La conjonction P ∧ Q est vraie seulement si P et Q sont vraies. La disjonction inclusive P ∨ Q est vraie si au moins l’une des deux l’est. La disjonction exclusive P ⊕ Q exige qu’exactement une seule soit vraie.
L’implication P ⇒ Q n’est fausse que lorsque P est vraie et Q fausse. Son identité avec la négation et la disjonction s’écrit . L’équivalence P ⇔ Q est vraie lorsque P et Q ont la même valeur ; elle réunit les deux implications P ⇒ Q et Q ⇒ P. Ces règles s’appliquent aux propositions de la logique propositionnelle. Deux connecteurs convenablement choisis, comme la négation et la disjonction, suffisent même à exprimer toutes les fonctions de vérité. Dans le langage courant, des conjonctions, adverbes ou locutions peuvent aussi assurer une liaison logique, mais leur sens dépend davantage du contexte.
A step-by-step example
À l’entrée d’un événement, considérons deux propositions concernant Alice : P signifie « Alice a une invitation » et Q signifie « Alice a une pièce d’identité ». Les données sont P vraie et Q fausse. Chaque connecteur donne alors un résultat vérifiable.
1. La négation ¬P est fausse, puisque P est vraie.
2. La conjonction P ∧ Q est fausse, car les deux propositions ne sont pas vraies ensemble.
3. La disjonction inclusive P ∨ Q est vraie, car au moins une proposition est vraie.
4. La disjonction exclusive P ⊕ Q est vraie, car exactement une proposition est vraie.
5. L’implication P ⇒ Q est fausse : c’est précisément le cas P vraie et Q fausse.
6. L’équivalence P ⇔ Q est fausse, puisque P et Q n’ont pas la même valeur.
Le contrôle utilise l’identité : ¬P est fausse et Q est fausse, donc leur disjonction est bien fausse. La figure rend ce contrôle visible sans changer les données.
In practice
Dans un règlement, une conjonction impose plusieurs conditions simultanées. Si une seule condition suffit, la disjonction inclusive est le choix adapté ; si une seule doit être satisfaite, il faut préciser la disjonction exclusive.
Dans un raisonnement, l’implication formalise une règle « si P, alors Q ». Pour réfuter cette règle, il faut trouver un cas où P est vraie et Q fausse ; les autres combinaisons ne la rendent pas fausse.
Pour comparer deux formulations, l’équivalence convient lorsque chacune implique l’autre. Une seule implication établit seulement un sens et ne suffit pas à garantir que les formulations ont toujours la même valeur de vérité.
Not to be confused with
Connecteur formel et connecteur linguistique. En logique propositionnelle, le symbole impose une règle de vérité exacte. Dans une phrase courante, une conjonction, un adverbe ou une locution relie aussi des idées, mais le contexte participe à son interprétation.
Implication et équivalence. L’implication P ⇒ Q ne contrôle qu’un sens. L’équivalence P ⇔ Q exige en plus Q ⇒ P. Si P est fausse et Q vraie, la première implication est vraie, tandis que l’équivalence est fausse.
Limits and pitfalls
Un « ou » ambigu. Dans l’usage courant, « ou » peut être inclusif ou exclusif. Le symptôme est l’hésitation sur le cas où P et Q sont vraies ensemble. Il faut annoncer P ∨ Q si ce cas est admis, ou P ⊕ Q s’il est exclu.
Une implication dont l’antécédent est faux. Dès que P est fausse, P ⇒ Q est vraie, quelle que soit la valeur de Q. Il faut appliquer la règle de vérité formelle et ne pas lui ajouter une relation de cause qui n’est pas exprimée.
Le sens réciproque oublié. Vérifier P ⇒ Q ne prouve pas Q ⇒ P. Si les deux formulations doivent avoir la même valeur, il faut contrôler les deux implications, donc établir P ⇔ Q.
Further reading
table de vérité — Organiser toutes les valeurs possibles pour vérifier systématiquement le résultat de chaque connecteur.
tautologie — Étudier les propositions composées qui restent vraies pour toutes les valeurs de leurs propositions simples.
Explore mathematics differently
Discover our magazines, podcasts and games to explore mathematics differently.
See our offers