Implication logique
(Redirigé depuis Entailment)
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
Sources
Source : Wikipedia (Logical consequence)
Contributeurs: Jean Benoît Morel, wiki