« Prédicat logique » : différence entre les versions
m (Remplacement de texte — « <!-- Scotty2 --> » par « ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| 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''' <small> loc. nom. masc. </small> | ||
==Anglais== | ==Anglais== | ||
| Ligne 18 : | Ligne 11 : | ||
<small> | <small> | ||
[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] | ||
[[Catégorie:Termium]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:Programmation]] | |||
[[Catégorie:Mathématiques]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Version du 8 mai 2020 à 09:43
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 loc. nom. masc.
Anglais
logical predicate
Contributeurs: Jacques Barolet, wiki
