Métodos para probar validez de argumentos.

Métodos para probar validez de argumentos.

Lógica Matemática

Leyes de la inferencia lógica

Razonamientos Lógicos.

Es matemática en un doble sentido. Se trata, en primer lugar, de un modo de entender la lógica que tiene su origen en un contexto matemático; y, como tal, se desarrolló específicamente para el razonamiento matemático. En segundo lugar, la lógica matemática es matemática también por el empleo de herramientas matemáticas para el análisis del razonamiento.

Proposiciones y

(Conectivos Lógicos)

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.

Los conectivos lógicos son aquellos símbolos que permiten decidir qué valor de verdad tiene una proposición

Razonamiento inductivo

Razonamiento deductivo

Se caracteriza por iniciar su proceso discursivo a partir de enunciados de menor generalidad que fungen como premisas, hacia enunciados de mayor generalidad que funcionan como conclusión.

Como aquel que parte de enunciados más generales para concluir con enunciados menos generales.

Proposiciones Compuestas

Proposiciones Simples

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.

Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones componentes.

Tablas de verdad.

Toda Regla de Inferencia se dividirá en dos partes:

Conclusión.

Premisas.