Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
The logic of classical language/es (view source)
Revision as of 04:17, 27 October 2021
, 3 years agoCreated page with "Demostración por el absurdo"
#''Afiliación'', que se indica con el símbolo <math>\in</math> (is an element of) o por el símbolo <math>\not\in</math> (is not an element of):
#''Afiliación'', que se indica con el símbolo <math>\in</math> (is an element of) o por el símbolo <math>\not\in</math> (is not an element of):
===Demonstration by absurdity===
===Demostración por el absurdo===
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.