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
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

Silogismo hipotético

De Wikipedia, la enciclopedia libre

En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lógica proposicional, el silogismo hipotético es una regla de inferencia válida (llamado también argumento cadena, regla de cadena, o el principio de transitividad de la implicación, y a veces abreviado SH).

El silogismo hipotético se puede escribir formalmente como:

donde la regla es que cada vez que las instancias de "" y "" aparecen en las líneas de demostración, "" se puede colocar en una línea posterior.

Un ejemplo de silogismo hipotético es:

Si no me despierto, entonces no voy a ir a trabajar.

Si no voy a trabajar, entonces no me pagan mi sueldo.

Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

El silogismo hipotético está estrechamente relacionado al silogismo disyuntivo, ya que también es un tipo de silogismo, y también es el nombre de una regla de inferencia. Las relaciones transitivas son por su parte otro concepto cercano al de silogismo hipotético.

Es interesante resaltar que el silogismo hipotético es una de las reglas de lógica clásica, que no siempre es aceptado en ciertos sistemas de lógica no clásica.

Notación formal

La regla de silogismo hipotético puede escribirse en la notación subsiguiente:

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

y expresado como una tautología verdad-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 27 mar 2021 a las 12:17.
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.