connecteur
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Symbole logique utilisé pour lier des énoncés ou des expressions simples, de manière à former des énoncés ou des expressions plus complexes.
Notes :
En logique formelle, on compte cinq connecteurs. Ce sont les opérateurs suivants : « négation », « conjonction », « disjonction », « implication » et « équivalence ».
Les connecteurs sont également utilisés en algèbre booléenne, en théorie des communications, en conception numérique, en logique formelle et en programmation.
Termes privilégiés :
- connecteur n. m.
- connectif n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- connector
- connective
-
catalan
Auteur : Universitat Autònoma de Barcelona,Termes :
- connectiu n. m.
- connectiva n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México, -
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,