Connecteur logique

En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions.

Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique.

Sommaire
Syntaxe
Sémantique
Logique classique
Logiques non classiques
Logique intuitionniste
Un exemple
Logiques modales
Systèmes complets de connecteurs
Notes et références

Syntaxe
D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un
1
certain nombre de règles définissent leur usage , au besoin complétées par une sémantique.

Sémantique

Logique classique

Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une
2
extension multivalente de ceux-ci.

Dans le cas de la logique bivalente classique le tableau suivant recense les seize fonctions booléennes
associées aux entrées P et Q, ces entrées sont les variables ou prémisses des formules.
Table des connecteurs logiques.
(organisés par valeur de vérité)

Connecteurs logiques organisés en

un diagramme de Hasse.
 Formules Diagramme de
Fonction booléenne Notations Table de vérité
équivalentes Venn

Q
0 1
Proposition P P 0 0 0
P
1 1 1

Q
0 1
Proposition Q Q 0 0 1
P
1 0 1

Q
0 1
¬P
Négation de P 0
~P 1 1
P
1 0 0

Q
1 Logique
0
formelle
¬Q
Négation de Q
~Q 0 1 0
P
1 1 0

Q
0 1
P Q P ¬Q
Disjonction P∨Q ¬P → Q 0
(OU) 0 1
P OR Q ¬P ↑ ¬Q
P
1 1 1

Conjonction P Q P ¬Q
(ET) P&Q ¬P Q Q
P·Q ¬P ¬Q
P AND Q 0 1
P 0 0 0
 1
0 1

Q
0 1
P ¬Q
Disjonction réciproque P↓Q
¬P Q 0
(NON-OU) P NOR Q 1 0
¬P ¬Q
P
1 0 0

Q
0 1
P↑Q P → ¬Q
NON-ET P|Q ¬P ← Q 0 1 1
P NAND Q ¬P ¬Q
P
1 1 0

Q
0 1
Contradiction FALSE P ¬P 0 0 0
P
1 0 0

Q
0 1
Tautologie TRUE P ¬P 0 1 1
P
1 1 1

Q
0 1
P ↑ ¬Q
P→Q
Implication ¬P Q 0
P Q 1 1
¬P ← ¬Q
P
1 0 1

Implication réciproque P Q P ¬Q
P Q ¬P ↑ Q Q
¬P → ¬Q
0 1
P 0 1 0
 1
1 1

Q
0 1
P ¬Q
P Q
Non-implication ¬P ↓ Q 0
P Q 0 0
¬P ¬Q
P
1 1 0

Q
0 1
P ↓ ¬Q
Non-implication P Q
¬P Q 0
réciproque P Q 0 1
¬P ¬Q
P
1 0 0

Q
P Q 0 1
P≡Q P ¬Q
Équivalence P Q ¬P Q 0 1 0
P XNOR Q ¬P ¬Q
P IFF Q P
1 0 1

Q
P Q 0 1
P ¬Q
Disjonction exclusive P Q
¬P Q 0
(OU exclusif) P Q 0 1
¬P ¬Q
P XOR Q P
1 1 0

Logiques non classiques

Logique intuitionniste

Une sémantique possible de la logique intuitionniste se fait dans les modèles de Kripke. Grosso modo, un
modèle de Kripke est un graphe étiqueté, dont les nœuds sont appelés des « mondes », les étiquettes sont
des formules et la relation sous-jacente est dite relation d'accessibilité. Dans ces graphes, la sémantique
d'une formule dont le connecteur principal est est un modèle de Kripke avec un monde étiqueté par la
formule . La sémantique de la formule est définie à partir des sémantiques des composants de la formule.
Si la formule est , la sémantique de se fera à partir des sémantiques de et . Dire que dans le
modèle de Kripke , la formule étiquette le monde , s'écrit . Dans ce cas est un
modèle de .

Un exemple

Par exemple, supposons que la formule soit . Son connecteur principal est . La définition de la
sémantique de fonctionne ainsi : pour pouvoir dire que , il faut que, dans le modèle
, pour tout monde , accessible à partir de , autrement dit tel que , on ait :
implique .

Logiques modales

Il faut dans ce cadre expliquer comment les connecteurs se comportent vis-à-vis des modalités.

Systèmes complets de connecteurs

En logique classique, avec le tiers exclu, la sémantique est donnée (via le théorème de complétude du calcul
propositionnel) par les tables de vérité.

Une logique p-valente possède connecteurs n-aires. Cela correspond aux nombres de formules
distinctes (c'est-à-dire, deux à deux non équivalentes) que l'on peut écrire avec n propositions atomiques
distinctes (p1, p2, ... pn) dans une logique p-valente.

La logique bivalente usuelle a donc connecteurs n-aires.

Ces logiques ont donc une infinité de connecteurs, pris indépendamment de leur arité.

On appelle « système complet de connecteur » un ensemble de connecteurs d'une logique qui suffit à
3
définir tous les autres .

Pour la logique propositionnel classique, les connecteurs usuels que sont la négation, la conjonction, la
disjonction, l'implication et l'équivalence forment ensemble un système complet de connecteurs.

On démontre, via les notions de forme normale conjonctive et forme normale disjonctive, que {négation,
conjonction, disjonction}, ensemble de connecteurs au plus binaires, est un système complet de connecteurs
pour la logique propositionnelle classique. Pour exemple : P ⇒ Q équivaut à ¬P Q (lire non(P) ou Q).

La généralisation à des logiques classiques p-valentes a été faite par Emil Post en 1921 dans Introduction à
une théorie générale des propositions élémentaires. Il montre qu'avec un connecteur unaire qui fait une
permutation circulaire sur les p valeurs de vérité (qui peuvent être notées 0, 1, 2, ... p-1) et qu'avec deux
connecteurs binaires, l'un prenant le max de deux valeurs de vérité et l'autre le min de deux valeurs de
vérité, on peut écrire toute formule de calcul propositionnel.

Dans le cas de la logique bivalente classique, l'infinité des connecteurs peut être ramené à un seul, binaire.
Parmi les 16 connecteurs binaires, deux sont des systèmes complets de connecteurs, les deux barres de
Sheffer.

Notes et références
1. Par exemple la règle du tiers exclu est ou non satisfaite.
2. Une logique p-valente possède connecteurs n-aires.
3. La logique intuitionniste n'a pas de système complet de connecteurs.
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Connecteur_logique&oldid=175031787 ».

La dernière modification de cette page a été faite le 25 septembre 2020 à 17:29.

Droit d'auteur : les textes sont disponibles sous licence Creative Commons attribution, partage dans les mêmes
conditions ; d’autres conditions peuvent s’appliquer. Voyez les conditions d’utilisation pour plus de détails, ainsi que
les crédits graphiques. En cas de réutilisation des textes de cette page, voyez comment citer les auteurs et
mentionner la licence.
Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le
paragraphe 501(c)(3) du code fiscal des États-Unis.

Politique de confidentialité
À propos de Wikipédia
Avertissements
Contact
Développeurs
Statistiques
Déclaration sur les témoins (cookies)