Prédicat logique


Révision datée du 28 janvier 2024 à 12:42 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Récupérée de « https://datafranca.org/wiki/index.php?title=Prédicat_logique&oldid=91531 »


Contributeurs: Jacques Barolet, wiki