Prédicat (logique mathématique)

En logique mathématique, un prédicat d'un langage est une propriété des objets du domaine considéré (l'univers du discours) exprimée dans le langage en question. Plus généralement cette propriété peut porter non seulement sur des objets (on peut préciser prédicat d'arité 1, ou à une place, ou monadique ), mais aussi sur des couples d'objets, on parle alors de prédicat binaire, ou d'arité 2, ou à deux places, ou encore de relation binaire, des triplets d'objets (prédicat ou relation ternaire ou d'arité 3 etc.), etc. Un prédicat d'arité n s'interprète par une fonction à n argument sur l'univers du discours, et à valeurs dans les valeurs de vérité, faux et vrai (0 et 1) en logique classique.