« Description d'état » : différence entre les versions


m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
m (Remplacement de texte : « ↵↵↵==Sources== » par «  ==Sources== »)
 
Ligne 7 : Ligne 7 :
== Anglais ==
== Anglais ==
'''state description '''
'''state description '''


==Sources==
==Sources==

Dernière version du 29 janvier 2024 à 08:58

Définition

Conjonction de plusieurs formules bien formées qui, en calcul des prédicats, sert à décrire une situation particulière ou un « état du monde ».

Français

description d'état

Anglais

state description

Sources

Source : Le grand dictionnaire terminologique