connective logique
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Symbole logique servant à relier des propositions.
Note :
Les principales connectives logiques par ordre décroissant de priorité sont : NON (négation), ET (conjonction), OU non exclusif (disjonction), implication et équivalence.
Termes privilégiés :
- connective logique n. f.
- connecteur logique n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Notes :
Examples of logical connectives are "and" and "inclusive-or".
The commonly used connectives, listed in order of decreasing priority, are: the negation, the conjunction, the disjunction, the implication.Terme :
- logical connective