métodos para probar validez de argumentos
Lógica Matemática
Son formas de argumentos cuya validez puede ser demostrada con tablas de verdad; además, estas reglas permiten establecer conclusiones muy bien formadas y válidas a partir de otras premisas
es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado
Proposiciones
Conectivos lógicos
Tablas de verdad
c Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez
⌐ negación ˅ Disyunción ˄ Conjunción → Condicional ↔ Bicondicional
Razonamientos Lógicos
Leyes de la inferencia lógica
determina el valor de verdad de un argumento lógico o de un conjunto de proposiciones compuestas que conforman un argumento
Modo Ponendo Ponens (MPP): Significa afirmando afirmo y la siguiente es la estructura de su argumento SILOGISMO HIPOTÉTICO (SH): Significa negando afirmo y la siguiente es la estructura de su argumento
Modo Tollendo Tolens (MTT): Significa negando niego y la siguiente es la estructura de su argumento Modo Tollendo Ponens (MTP): Significa negando afirmo y la siguiente es la estructura de su argumento
Es la capacidad que posee el ser humano para encontrar conclusiones por medio del entendimiento
Razonamiento deductivo: se logra cuando los indicios de los hechos implican la verdad en la conclusión
Razonamiento no deductivo: la reflexión que se logre es válida si la verdad de los antecedentes está comprobada.