Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/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..."
En outre, en logique classique, il existe un principe appelé le <u>tiers exclu</u> qui déclare qu'une phrase qui ne peut pas être fausse doit être considérée comme vraie puisqu'il n'y a pas de troisième possibilité....
En outre, en logique classique, il existe un principe appelé le <u>tiers exclu</u> qui déclare qu'une phrase qui ne peut pas être fausse doit être considérée comme vraie puisqu'il n'y a pas de troisième possibilité....
Supposons que nous devions prouver que la proposition <math>p</math> est vraie.. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called ''demonstration by absurdity''<ref>{{Cite book
Supposons que nous devions prouver que la proposition <math>p</math> est vraie.. 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''.<ref>{{Cite book
| autore = Pereira LM
| autore = Pereira LM
| autore2 = Pinto AM
| autore2 = Pinto AM