Lógica matemática

Inferencia lógica Lógica inferencial Razonamientos lógicos Leyes de la inferencia lógica

razonamiento el que a La inferencia nace a partir de proceso mental que implica

es un esquema para
partir de un conjunto una evaluación mental entre la aplicación de la lógica. A
construir inferencias
de proposiciones distintas expresiones, que, al partir de esta clase de
válidas. Estos esquemas
llamados premisas se ser relacionadas como razonamiento, se puede partir de
establecen relaciones
obtiene un resultado abstracciones, permiten una o de varias premisas para
sintácticas entre un
llamado conclusión. trazar una arribar a una conclusión que
conjunto de fórmulas
implicación lógica. puede determinarse como
llamados premisas y una
verdadera, falsa o posible.
aserción llamada
REGLAS DE conclusión.
INFERENCUIA

 Inductiva (de lo particular a lo general

1) MODUS PONENDO  Deductiva de lo general a lo particular
PONENS (PP)  Transductiva de particular a particular o de
2) MUDUS TOLLENDO general a general
TOLLENS (TT)  Abductiva utiliza la estrategia de analizar todas
3) MUDUS TOLLENDO las posibilidades, pero en este caso hay varios
PONENS (TP) casos que se pueden presentar, no es una forma
4) Ley de silogismo válida de obtener conclusiones en matemáticas
hipotético (SH) o en lógica y es necesario conocer más
5) Ley de simplificación información para poder verificar la validez
(LS)
6) Ley de conjunción (LC)
7) Ley de adición (LA)
8) Dilema constructivo
(DC)
9) Dilema destructivo
(DD)
Nombre: Leidy Vianeth Cruz Cerquera

Unidad 2
Proposiciones simples y compuestas, tablas de verdad, métodos de demostración, razonamientos
lógicos, inferencia lógica y argumentos lógicos.

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

b. Si un ángulo de un triángulo es mayor de 90 grados, entonces la suma de los otros dos

ángulos es menor de 90 grados. La suma de los otros dos ángulos no es menor de 90
grados.

Conclusión: Un ángulo de un triángulo no es mayor de 90°

Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)
Lenguaje simbólico: [(𝒑 → 𝒒)^~𝒒] → ~𝒑
Nombre: Leidy Vianeth Cruz Cerquera

Unidad 2
Proposiciones simples y compuestas, tablas de verdad, métodos de demostración, razonamientos
lógicos, inferencia lógica y argumentos lógicos.

Ejercicio 3: Razonamiento Deductivo e Inductivo

b. A Pedro le gustan los chocolates, comió muchos y le hicieron daño. Sandra comió
bastantes chocolates y enfermó. Por lo tanto, si comes demasiados chocolates te harán daño.

Identificar si el razonamiento es deductivo o inductivo: Razonamiento inductivo

Argumento: es inductivo porque el razonamiento parte de una tendencia que es que Pedro y
Sandra se enfermaron por comer muchos chocolates, lo que hago es generalizar y esperar
que esa tendencia se mantenga, solo hago una predicción pero no sé si es verdad o no que si
como demasiados chocolates me harán daño.