Qu’est-ce que la démonstration?
Posté dans Répertoire sur 21 Sep 2010
Pour les logiciens le seul raisonnement qui soit absolument rigoureux est la déduction. Déduire c’est tirer d’une ou de plusieurs propositions appelées prémisses une conclusion qui en découle logiquement et nécessairement.