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 "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..."
Además, en la lógica clásica existe un principio llamado <u>tercera excluida</u> que declara que una frase que no puede ser falsa debe tomarse como verdadera ya que no existe una tercera posibilidad.
Además, en la lógica clásica existe un principio llamado <u>tercera excluida</u> que declara que una frase que no puede ser falsa debe tomarse como verdadera ya que no existe una tercera posibilidad.
Supongamos que necesitamos demostrar que la proposición <math>p</math> es verdadera. 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''<ref>{{Cite book
Supongamos que necesitamos demostrar que la proposición <math>p</math> es verdadera. 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''.<ref>{{Cite book
| autore = Pereira LM
| autore = Pereira LM
| autore2 = Pinto AM
| autore2 = Pinto AM