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