formule atomique
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Expression représentant une unité de langage élémentaire porteuse de signification, et dont on se sert pour construire des formules complexes.
Note :
En calcul des prédicats, une formule atomique est constituée d'un prédicat et de ses arguments.
Termes privilégiés :
- formule atomique n. f.
- proposition atomique n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- atomic formula
- atomic proposition
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- fórmula atòmica n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- fórmula atómica s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,