formule atomique

Définition :

Expression représentant une unité de langage élémentaire porteuse de signification, et dont on se sert pour construire des formules complexes.

En calcul des prédicats, une formule atomique est constituée d'un prédicat et de ses arguments.

anglais
Auteur : Office québécois de la langue française, 2006
Termes :
1. atomic formula
2. atomic proposition
catalan
Auteur : Universitat Autònoma de Barcelona, 2005
Terme :
1. fórmula atòmica n. f.
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas, 2005
Colegio de México, 2005
Terme :
1. fórmula atómica s. f.
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa, 2005
Universidade de São Paulo, 2005
Note :

Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.

Termes :
1. fórmula atômica s. f. Brésil
2. fórmula atómica s. f. Portugal