« Prédicat logique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 5 : | Ligne 5 : | ||
[[Catégorie:scotty]] | [[Catégorie:scotty]] | ||
== 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. | |||
==Français== | |||
'''prédicat logique n.m.''' | |||
==Anglais== | |||
== Anglais == | |||
'''logical predicate ''' | '''logical predicate ''' | ||
| Ligne 18 : | Ligne 18 : | ||
<small> | <small> | ||
[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 | [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] | ||
Version du 19 juin 2019 à 19:15
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 n.m.
Anglais
logical predicate
Contributeurs: Jacques Barolet, wiki
