« Implication logique » : différence entre les versions

Dernière version du 23 août 2024 à 19:36

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

implication logique

conséquence logique

logical implication

logical entailment

entailment

logical consequence

@@ 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'''
+'''logical entailment'''
+'''entailment'''
+'''logical consequence'''
+==Sources==
-a formula ''f'' entails a formula ''g'', written ''f ⊨ g'', iff in any interpretation in which ''f'' is true, ''g'' is true
+[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) ]
-<small>
+{{Modèle:Statistiques}}
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
+[[Catégorie:Statistiques]]