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
Contributeurs: Jean Benoît Morel, wiki