To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Eliminación de la disyunción

De Wikipedia, la enciclopedia libre

En lógica proposicional, la eliminación de la disyunción[1][2][3]​ (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica. Es la inferencia de que la afirmación implica en la afirmación y la afirmación también implica , por lo tanto, si o son verdaderos, entonces tiene que ser verdadero. La razón es simple: si al menos una de las afirmaciones P y R son verdaderas, y puesto que al menos una de ellas es suficiente para confirmar Q, entonces Q es ciertamente correcto.

Si estoy dentro, tengo mi billetera conmigo.
Si estoy fuera, tengo mi billetera conmigo.
Es cierto que estoy dentro o fuera.
Entonces, tengo mi billetera conmigo.

Es decir, la regla se puede definir como:

Donde la regla es que cada vez que las instancias "", y "" y "" aparezcan en una línea de evidencia, "" puede colocarse en la línea subsiguiente.

Notación formal

La regla para la eliminación de la disyunción puede escribirse en la notación subsiguiente:

donde es el símbolo metalógico que significa que es una consecuencia sintáctica de y y en algún sistema lógico;

o expresado como una declaración de verdadera tautología funcional o teorema de la lógica proposicional:

donde , y son proposiciones expresadas en algún sistema formal.

Véase también

Referencias

Enlaces externos

Esta página se editó por última vez el 25 oct 2019 a las 05:43.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.