« Prédicat logique » : différence entre les versions
m (Remplacement de texte — « <!-- Termium --> » par « Catégorie:Termium ») |
m (Remplacement de texte — « n.m. » par « nom masc. ») |
||
| Ligne 10 : | Ligne 10 : | ||
==Français== | ==Français== | ||
'''prédicat logique''' | '''prédicat logique''' nom masc. | ||
==Anglais== | ==Anglais== | ||
Version du 16 avril 2020 à 12:13
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 nom masc.
Anglais
logical predicate
Contributeurs: Jacques Barolet, wiki
