Connecteur
Concept history
A revision trail for this concept page.
Revision 4828
9/13/2026, 4:04:34 PM · SalixBabylonica
Updated text
Compare with revision 47111 changed line
1
### Définition 2
Un connecteur est une opération qui, à un ou plusieurs [[Prédicat | prédicats]], lui associe un autre prédicat.3
4
On distingue quelques connecteurs principaux :5
1) Le connecteur « non » : si $A$ est un prédicat, le prédicat « non $A$ », noté $\neg A$, vérifie :6
\[ \neg A \text{ est vrai si et seulement si } A \text{ est faux.} \]7
2) Le connecteur « et » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ et $B$ », noté $A \land B$, vérifie :8
\[A \land B \text { est vrai si et seulement si } A \text{ et } B \text{ sont vrais simultanément.}\]9
3) Le connecteur « ou » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ ou $B$ », noté $A \lor B$, vérifie :10
\[A \lor B \text{ est vrai si et seulement si au moins l'un des deux prédicats est vrai.} \]11
4) Le connecteur « implique » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ implique $B$ », noté $A \implies B$, vérifie :12
\[A \implies B \text{ est vrai si et seulement si, dès que } A \text{ est vrai, alors } B \text{ l'est aussi.}\]13
Pour ce dernier connecteur, une page plus complète est disponible : [[implication]]Revision 4711
9/12/2026, 10:03:42 PM · quark67
Amélioration typographique et léger ajustement de texte pour clarification
Compare with revision 467612 changed lines
1
### Définition 2
Un connecteur est une opération qui a un ou plusieurs [[Prédicat | prédicats]], lui associe un autre prédicat.2
Un connecteur est une opération qui, à un ou plusieurs [[Prédicat | prédicats]], lui associe un autre prédicat.3
4
On distingue quelques connecteurs principaux :5
1) Le connecteur « non » : si $A$ est un prédicat, le prédicat «non $A$», noté $\neg A$, vérifie :5
1) Le connecteur « non » : si $A$ est un prédicat, le prédicat « non $A$ », noté $\neg A$, vérifie :6
\[ \neg A \text{ est vrai si et seulement si } A \text{ est faux.} \]7
2) Le connecteur « et » : si $A$ et $B$ sont deux prédicats, le prédicat «$A$ et $B$», noté $A \land B$, vérifie :7
2) Le connecteur « et » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ et $B$ », noté $A \land B$, vérifie :8
\[A \land B \text { est vrai si et seulement si } A \text{ et } B \text{ sont vrais simultanément.}\]9
3) Le connecteur « ou » : si $A$ et $B$ sont deux prédicats, le prédicat «$A$ ou $B$», noté $A \lor B$, vérifie :9
3) Le connecteur « ou » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ ou $B$ », noté $A \lor B$, vérifie :10
\[A \lor B \text{ est vrai si et seulement si au moins l'un des deux prédicats est vrai.} \]11
4) Le connecteur « implique » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ implique $B$ », noté $A \Rightarrow B$, vérifie :11
4) Le connecteur « implique » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ implique $B$ », noté $A \implies B$, vérifie :12
\[A \Rightarrow B \text{ est vrai si et seulement si, dès que } A \text{ est vrai, alors } B \text{ l'est aussi.}\]12
\[A \implies B \text{ est vrai si et seulement si, dès que } A \text{ est vrai, alors } B \text{ l'est aussi.}\]Revision 4676
9/12/2026, 4:57:16 PM · SalixBabylonica
Concept created
### Définition
Un connecteur est une opération qui a un ou plusieurs [[Prédicat | prédicats]], lui associe un autre prédicat.
On distingue quelques connecteurs principaux :
1) Le connecteur « non » : si $A$ est un prédicat, le prédicat «non $A$», noté $\neg A$, vérifie :
\[ \neg A \text{ est vrai si et seulement si } A \text{ est faux.} \]
2) Le connecteur « et » : si $A$ et $B$ sont deux prédicats, le prédicat «$A$ et $B$», noté $A \land B$, vérifie :
\[A \land B \text { est vrai si et seulement si } A \text{ et } B \text{ sont vrais simultanément.}\]
3) Le connecteur « ou » : si $A$ et $B$ sont deux prédicats, le prédicat «$A$ ou $B$», noté $A \lor B$, vérifie :
\[A \lor B \text{ est vrai si et seulement si au moins l'un des deux prédicats est vrai.} \]
4) Le connecteur « implique » : si $A$ et $B$ sont deux prédicats, le prédicat « $A$ implique $B$ », noté $A \Rightarrow B$, vérifie :
\[A \Rightarrow B \text{ est vrai si et seulement si, dès que } A \text{ est vrai, alors } B \text{ l'est aussi.}\]