« Implication logique » : différence entre les versions


m (JBM a déplacé la page Entail vers Implication logique)
Aucun résumé des modifications
Ligne 26 : Ligne 26 :
[[Catégorie:Publication]]
[[Catégorie:Publication]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas‏‎]]

Version du 16 décembre 2021 à 12:10

Définition

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

Français

implication logique

conséquence logique

Anglais

logical implication

logical entailment

entailment

logical consequence



Source : TERMIUM Plus

Source : Wikipedia (Logical consequence)



Contributeurs: Jean Benoît Morel, wiki