Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
Translations:The logic of classical language/90/es (view source)
Revision as of 03:17, 27 October 2021
, 4 years agoCreated page with "El procedimiento consiste en mostrar que la suposición de que <math>p</math> es falsa conduce a una contradicción lógica. Así, la proposición <math>p</math> no puede ser..."
El procedimiento consiste en mostrar que la suposición de que <math>p</math> es falsa conduce a una contradicción lógica. Así, la proposición <math>p</math> no puede ser falsa, y por tanto, según la ley del tercio excluso, debe ser verdadera. Este método de demostración se llama ''demostración por absurdo''.