Arité de Prédicat

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Le nombre de places d'arguments d'un symbole de prédicat, indiquant combien de termes le prédicat prend ; un prédicat k-aire relie k termes et fait partie intégrante de la signature d'un langage.