Untitled

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

LÓGICA MATEMÁTICA

LEYES DE INFERENCIA LÓGICA

Un argumento es el razonamiento que demuestra, refuta o justifica algo. y la validez tiene que ver con la relación entre las premisas y la conclusión.

RAZONAMIENTO LÓGICOS

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

LEYES DE INFERENCIA LÓGICA

LÓGICA MATEMÁTICA

Un argumento es un razonamiento que demuestra, refuta o justifica algo. La validez tiene que ver con la relación entre las premisas y la conclusión.

RAZONAMIENTO LÓGICO

Consiste en el estudio matemático lógico, y en la aplicación de otras áreas de las matemáticas. estudia los sistemas formales como los conjuntos , números, demostraciones y algoritmos

se divide en 4 subcampos

* Teoría de modelos.

* Teoría de la demostración.

*Teoría de conjuntos.

*Teoría de la recursión.

su palabra correcta es matemática de la lógica.

RAZONAMIENTO DEDUCTIVO: Extraen una conclusión a partir de las premisas. poseen una base lógica, su conclusión esta contenida en la información de las premisas.

RAZONAMIENTO INDUCTIVO: Extraen conclusiones a partir de determinadas observaciones o experiencias particulares. obtiene una conclusión basándose en las probabilidades y en la intuición.

En general, son usadas para analizar los argumentos con muchas premisas o cuando se tiene cuatro o mas proposiciones.

Toda regla de inferencia se divide en dos partes: un conjunto de premisas y conclusión.

se pueden encontrar estas leyes de inferencia lógica.

* Modus Ponens (MP), * Modus Tollens (MT)

*Silogismo Hipotético (SH) * Silogismo Disyuntivo (SD)

*Dilema Constructivo (DC) *Dilema Destructivo (DD)

*Conjunción ( Conj. ) * Modus Ponendo Ponens (MPP)

*Modus Tollendo Tolleus (MTT) *Doble negación [-(-P)]

* Simplificación (Simp)