Changes

The logic of classical language/fr (view source)

Revision as of 15:43, 2 November 2021

11 bytes added , 3 years ago

Created page with "Supposons que nous devions prouver que la proposition <math>p</math> est vraie."

Line 467: Line 467:

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é....

−

~~Suppose we need to prove that the~~ proposition <math>p</math> ~~is true~~. 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.. 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

| autore = Pereira LM

| autore2 = Pinto AM

Luca

Editor, Editors, USER, editor, translator

5,845

edits