Le langage humain utilisé dans les décisions de justice est composé des arguments liés entre eux par des liens logiques. Mais la logique utilisée est différente de celle de l’ordinateur. La machine ...

Dans son Dictionnaire de logique pour linguistes, puf, 1995, A. Bannour définit l'inférence comme le « processus logique par lequel on admet une proposition en raison de sa relation avec d'autres ...

La contraposition (ou modus tollens) est un raisonnement logique basé sur la négation du conséquent d'une implication. C’est-à-dire que puisque la cause d'une implication engendre la conséquence, ...