Accueil › Forums › complément-algebre-III-2021-2022 › Logique des prédicats › Répondre à : Logique des prédicats
23/10/2021 à 21:27
#11291
Luc D.
Maître des clés
Finalement c’est une question !
1- Dans le cours je vous ai dit qu’un prédicat est la donnée d’un symbole relationnel qui prend en compte des termes du langage. Ainsi l’élément fondamental d’un prédicat est le symbole relationnel dont il dépend !
2- Dans le cas de , le symbole relationnel est
. Il est d’arité
Les termes ici sont les variables
et
.
J’espère avoir été clair!!!
Y-a-t-il d’autres points d’ombre ???