Changes

The logic of classical language/es (view source)

Revision as of 04:17, 27 October 2021

16 bytes added , 3 years ago

Created page with "Supongamos que necesitamos demostrar que la proposición <math>p</math> es verdadera"

Line 470: Line 470:

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.

−

~~Suppose we need to prove that the proposition~~ <math>p</math> ~~is true~~. 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. 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

| autore = Pereira LM

| autore2 = Pinto AM

Gianfranco

Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor

17,894

edits