Translations:The logic of classical language/90/es
Revision as of 04:17, 27 October 2021 by Gianfranco (talk | contribs) (Created 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 es falsa conduce a una contradicción lógica. Así, la proposición 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.
