« Prédicat logique » : différence entre les versions

Dernière version du 28 janvier 2024 à 12: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

Source: Wikipedia

Source: TERMIUM Plus

@@ Ligne 1 : / Ligne 1 : @@
-[[Catégorie:Termium]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:Programmation]]
-[[Catégorie:Mathématiques]]
-[[Catégorie:scotty]]
 ==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==
-'''prédicat logique  n.m.'''
+'''prédicat logique'''
 ==Anglais==
@@ Ligne 16 : / Ligne 10 : @@
-<small>
+==Sources==
+[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://fr.wikipedia.org/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique) Source: Wikipedia ]
+[[Category:GRAND LEXIQUE FRANÇAIS]]
-[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]