Prédicat logique

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

En logique mathématique, un prédicat d'un langage est une propriété des objets du domaine considéré, exprimée dans le langage en question. Plus généralement cette propriété peut porter non seulement sur des objets mais aussi sur des couples d'objets.

Français

prédicat logique

Anglais

logical predicate

Sources

Source: Wikipedia

Source: TERMIUM Plus