« Opérateur de prédicat » : différence entre les versions

Version du 22 juillet 2023 à 05:47

Les opérateurs de prédicats font partie du langage des formes logiques. Ils transforment un prédicat en un autre prédicat.

opérateur de prédicat

predicate operator

Source : UNWS Natural Language Processing Dictionary

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:UNSW]]
 == Définition ==
-xxxxxxx
+Les opérateurs de prédicats font partie du langage des formes logiques. Ils transforment un prédicat en un autre prédicat.
 == Français ==
-xxxxxxx
+'''opérateur de prédicat'''
 == Anglais ==
 '''predicate operator'''
-Predicate operators form a part of the logical form language. They transform one predicate into another predicate. For example, the predicate operator PLUR transforms a singular predicate like (DOG x) which is true if x is a dog, into a plural equivalent (PLUR DOG) such that ((PLUR DOG) x) is true if x is a set of more than one dog.
@@ Ligne 21 : / Ligne 12 : @@
 [http://www.cse.unsw.edu.au/~billw/nlpdict.html   Source : UNWS Natural Language Processing Dictionary ]
+[[Catégorie:Vocabulary]]