Sémantique de la logique des prédicats
Une formule de la logique des prédicats est appelée un énoncé, ou encore
formule close, si elle ne contient aucune variable libre. Un énoncé sera dit être
vrai ou faux dans un modèle, c'est-à-dire relativement à une structure
mathématique abstraite qui représente un état possible du monde, et joue le
même rôle qu'une ...
Autres Cours:
