Implication logique
De DataFranca
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, Pitpitt