Prédicat (logique mathématique)

Un prédicat est la donnée d'un symbole (souvent noté P {\displaystyle P} ) et d'une arité qui forme une formule une fois appliqué à un certain nombre de termes. Par exemple, si P {\displaystyle P} est un prédicat d'arité 1 et t {\displaystyle t} est un terme a…