3.Logique des prédicats : formes normales - LIP6 / IA
Les prédicats à 0 arguments ne sont rien d'autre que des variables
propositionnelles. Définition (terme). L'ensemble des termes est le plus petit
ensemble de mots construits sur l'alphabet de la logique des prédicats tel que :
toute variable est un terme. f(t1,...,tn) est un terme si f est une fonction à n
arguments et t1,...,tn ...
Autres Cours:
