« Implication logique » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
Ligne 15 : | Ligne 15 : | ||
'''logical consequence''' | '''logical consequence''' | ||
Version du 29 janvier 2024 à 12:23
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