« Implication logique » : différence entre les versions

Version du 16 décembre 2021 à 11:10

Relation logique consistant en ce qu'une chose en implique une autre.

implication logique

conséquence logique

logical implication

logical entailment

entailment

logical consequence

Source : TERMIUM Plus

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas‏‎]]
 == Définition ==
-xxxxxxx
+Relation logique consistant en ce qu'une chose en implique une autre.
 == Français ==
-xxxxxxx
+'''implication logique'''
+'''conséquence logique'''
 == Anglais ==
-'''entail '''
+'''logical implication'''
-a formula ''f'' entails a formula ''g'', written ''f ⊨ g'', iff in any interpretation in which ''f'' is true, ''g'' is true
+'''logical entailment'''
+'''entailment'''
+'''logical consequence'''
 <small>
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
+[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=logical+implication&codom2nd_wet=1#resultrecs  Source : TERMIUM Plus ]
+[https://en.wikipedia.org/wiki/Logical_consequence  Source : Wikipedia (Logical consequence) ]
+[[Catégorie:Publication]]
+[[Catégorie:Intelligence artificielle‏‎]]
+[[Catégorie:UTexas‏‎]]