« Prédicat logique » : différence entre les versions
m (Remplacement de texte — « <!-- Termium --> » par « Catégorie:Termium ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (8 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | 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== | ==Français== | ||
'''prédicat logique''' | '''prédicat logique''' | ||
==Anglais== | ==Anglais== | ||
| Ligne 17 : | Ligne 10 : | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique) Source: Wikipedia] | [https://fr.wikipedia.org/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique) Source: Wikipedia] | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=pr%C3%A9dicat+logique+&index=frt&codom2nd_wet=1#resultrecs Source: TERMIUM Plus] | [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=pr%C3%A9dicat+logique+&index=frt&codom2nd_wet=1#resultrecs Source: TERMIUM Plus] | ||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 11:42
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
Contributeurs: Jacques Barolet, wiki
