Difference between revisions of "Translations:The logic of classical language/90/fr"

Latest revision as of 16:18, 2 November 2021

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (The logic of classical language)

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''

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''

TranslationLa 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''.

La procédure consiste à montrer que l'hypothèse selon laquelle $p$ est fausse conduit à une contradiction logique. Ainsi, la proposition $p$ 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.