Symbole de Prédicat
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un symbole non logique d'un langage formel qui désigne une relation n-aire sur le domaine et sert à former des formules atomiques.