Implication logique
(Redirigé depuis Logical 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