Accueil Forums complément-algebre-III-2021-2022 Logique des prédicats Répondre à : Logique des prédicats

#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 \textbf{Aime}\bm{( x,y)}, le symbole relationnel est  \textbf{Aime} . Il est  d’arité 2. Les termes ici sont les variables x et y.

J’espère avoir été clair!!!

Y-a-t-il d’autres points d’ombre ???