Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/fr (view source)
Revision as of 15:41, 2 November 2021
, 3 years agoCreated page with "Démonstration par l'absurde"
#''Adhésion'', qui est indiqué par le symbole <math>\in</math> (is an element of) ou par le symbole <math>\not\in</math> (is not an element of):
#''Adhésion'', qui est indiqué par le symbole <math>\in</math> (is an element of) ou par le symbole <math>\not\in</math> (is not an element of):
===Demonstration by absurdity===
===Démonstration par l'absurde===
Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.
Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.