Translations:The logic of classical language/90/fr
La procédure consiste à montrer que l'hypothèse selon laquelle est fausse conduit à une contradiction logique. Ainsi, la proposition ne peut pas être fausse, et donc, selon la loi du tiers exclu, elle doit être vraie. Cette méthode de démonstration est appelée démonstration par l'absurde.
