Deduccion De La Logica

Introducción.
En este tema que veremos a continuación hablaremos de la lógica, en la que estudia la forma del razonamiento, que es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. Esta estudia el modo de usar las leyes, con las cuales podemos saber si una inferencia es válida o no. De ahí que, la lógica es una ciencia que se encarga de estudiar los métodosy las leyes que determinan la validez de la inferencia. También quiero demostrar que existen reglas precisas para manejar estas proposiciones y sus respectivos ejemplos.

























Razonamiento deductivo.
En el cual el proceso racional parte de lo universal y lo refiere a lo particular; por lo cual se obtiene una conclusión forzosa.
El pensamientodeductivo parte de categorías generales para hacer afirmaciones sobre casos particulares.
En un razonamiento deductivo válido la conclusión debe poder derivarse necesariamente de las premisas aplicando a éstas algunas de las reglas de inferencia según las reglas de transformación de un sistema deductivo o cálculo lógico. Al ser estas reglas la aplicación de una ley lógica o tautología y, por tanto unaverdad necesaria y universal, al ser aplicada a las premisas como caso concreto permite considerar la inferencia de la conclusión como un caso de razonamiento deductivo.
Dicho de otro modo, la conjunción o producto de todas las premisas cuando es verdadero, es decir, todas y cada una de las premisas son verdaderas, entonces se implica la verdad de la conclusión.
Por medio de un razonamiento deestas características se concede la máxima solidez a la conclusión, las premisas implican lógicamente la conclusión. Y la conclusión es una consecuencia lógica de las premisas.
Inferencia.
Es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticasson usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejordicho, preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.



Modus Ponendo Ponens (M.P.P).
El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendoponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q).
Ejemplo:

p entonces q “Si llueve, entonces las calles se mojan” (premisa)
p “Llueve” (premisa)

q “Luego, las calles se mojan” (conclusión).

Modus Tollendo Tollens (M.T.T).‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar.

p entonces q “Si llueve, entonces las calles se mojan”
¬q “Las calles no se mojan”

¬p “Luego, no llueve”

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si unefecto no se da, su causa no ha podido darse.

Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas de una misma propiedad de la implicación; la regla ponendo ponens sólo nos permite afirmar si está afirmado el antecedente (el primer término de la implicación), y la regla tollendo tollens sólo nos permite negar a partir del consecuente (segundo término de...