Editor, Editors, USER, editor, translator
5,845
edits
Changes
Translations:The logic of classical language/90/fr (view source)
Revision as of 16:18, 2 November 2021
, 3 years agoCreated page with "La procédure consiste à montrer que l'hypothèse selon laquelle <math>p</math> est fausse conduit à une contradiction logique. Ainsi, la proposition <math>p</math> ne peut..."
La procédure consiste à montrer que l'hypothèse selon laquelle <math>p</math> est fausse conduit à une contradiction logique. Ainsi, la proposition <math>p</math> 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''.