TAREA 2: MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS.

ALUMNO:
LUIS FERNANDO MUÑOZ CONDE

GRUPO: 512

PRESENTADO A:
CALOS MAURICIO SALAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA ECBTI EN EL PROGRAMA DE INGENIERÍA EN SISTEMAS
CCAV SAHAGÚN,

ABRIL DE 2019
 INTRODUCCIÓN:

En el presente taller se desarrollan los conceptos de la unidad 2, en la cual se trabajan los

siguientes temas: Lógica matemática, Leyes de inferencia, Razonamiento lógico.

También se asignaron ejercicios sobre las leyes de inferencia para que se conozcan estas

leyes que son de mucha importancia en la lógica matemática, El razonamiento deductivo

e inductivo serán tratados también en esta actividad para poder identificar de manera más

rápida los tipos de textos ya se deductivo o inductivo. También en el taller se trabaja con

la tabla de la verdad junto con la herramienta de la UNAD, las leyes de inferencia son

otro de los temas tratados para dar respuesta a las interrogantes.

 OBJETIVOS:

 Que los estudiantes tengan claros los conceptos de los temas tratados en el taller.

 Que se tengan claras las reglas de inferencia y su aplicación.

 Que a la hora de identificar si un argumento es inductivo o deductivo al estudiante

tenga claro cómo se clasifican.

 Que el estudiante interprete de manera eficaz el lenguaje simbólico, las premisas,

las preposiciones simples y compuestas.

 Que los estudiantes puedan realizar una tabla de verdad desde cero.

 Que se utilice el simulador lógico de la UNAD para tener claridad a la hora de

realizar actividades como esta.

 Que los estudiantes utilizando las leyes de inferencia puedan despejar dudas en

cuanto a la solución de una interrogante.

Ejercicio 1).

Mapa conceptual de los temas de la unidad 2

Ejercicio 2).

Aplicación de las reglas de la inferencia Lógica

b. Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º. Un

triángulo tiene tres lados.

Conclusión: Un triángulo tiene tres lados.

Ley de inferencia aplicada: Modus Ponendo Ponens (PP)

Lenguaje simbólico: p → q
p
---------
p
Ejercicio 3)

Razonamiento Deductivo e Inductivo

b. El 31 de octubre es el día de los niños, este día se acostumbra que los niños pidan

dulces por lugares cercanos a su hogar en compañía de un adulto. El índice de robos de

niños el día de Halloween ha aumentado por lo tanto la costumbre de sacar a los niños a

pedir dulces se ha perdido.

Este razonamiento es inductivo ya que en él tenemos una conclusión, en este

razonamiento se evidencia que en Halloween las cifras de secuestros a menores han

aumentado, concluyendo que esta costumbre se a perdido.

Ejercicio 4)

Problemas de aplicación:

b. Expresión simbólica:

[(𝑝∨𝑞) ∧(𝑞⟶∼𝑟) ∧ (∼𝑟⟶𝑠) ∧ (∼𝑝) ∧ (𝑠⟶𝑟)]⟶(𝑟)

Premisas:

P1: 𝑝∨𝑞

P2: 𝑞⟶∼𝑟

P3: ¬𝑟→𝑠

P4: ∼𝑝

P5: 𝑠⟶𝑟

Conclusión: 𝑟

Desarrollo:

Preposiciones simples:

p: Voy a la UNAD

q: Asisto a los CIPAS

r: Tengo un buen promedio

s: Hago parte del semillero

Razonamiento en lenguaje natural:

Voy a la UNAD o asisto a los CIPAS. si asisto a los CIPAS entonces, no tengo buenas

notas. Si no tengo buenas notas entonces hago parte del semillero. No voy a la UNAD.

Si Hago parte del semillero entonces, tengo buenas notas.

 Tabla de la verdad manual:

Preposiciones Negación de
Simples. preposiciones Preposiciones compuestas. Unión de las premisas. Conclusión Unión de las premisas implicando la conclusión
[(𝑝∨𝑞) ∧(𝑞⟶∼𝑟) ∧ (∼𝑟⟶𝑠) ∧ [(𝑝∨𝑞) ∧(𝑞⟶∼𝑟) ∧ (∼𝑟⟶𝑠) ∧ (∼𝑝) ∧
p q r s ¬r ¬p (p V q) (q → ¬r) (¬r → s) (¬p) (s → r) (∼𝑝) ∧ (𝑠⟶𝑟)] (r) (𝑠⟶𝑟)]⟶(𝑟)
v v v v f f v f v f v f v v
v v v f f f v f v f v f v v
v v f v v f v v v f f f f v
v v f f v f v v f f v f f v
v f v v f f v v v f v f v v
v f v f f f v v v f v f v v
v f f v v f v v v f f f f v
v f f f v f v v f f v f f v
f v v v f v v f v v v f v v
f v v f f v v f v v v f v v
f v f v v v v v v v f f f v
f v f f v v v v f v v f f v
f f v v f v f v f v v f v v
f f v f f v f v v v v f v v
f f f v v v f v v v f f f v
f f f f v v f v f v v f f v

Resultado de tabla manual: Tautología.

Tabla del generador lógico de la UNAD (Martin, 2019)

p q r s ((p∨q)∧(q→~r)∧(~r→s)∧(~p)∧(s→r))→(r)
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Leyes de inferencia:
Premisas:
P1: 𝑝∨𝑞

P2: 𝑞⟶∼𝑟

P3: ¬𝑟→𝑠

P4: ∼𝑝

P5: 𝑠⟶𝑟

P6: q Simbolismo disyuntivo de 1 y 4

P7: ∼r Modus ponens de 2 y 6

P8: s Modus ponens de 3 y 7

P9: r Modus ponens de 5 y 8

Conclusión: Premisa 9
 CONCLUSIÓN:

En el taller desarrollado se utilizaron los temas de la unidad 2 con el fin de que el

conocimiento de las reglas de inferencia lógica que era un tema del cual no tenía

conocimiento se desarrolló, también se utilizaron en la actividad la tabla de la verdad que

nos ayudó a conocer mas sobre lo que son las premisas y las preposiciones dando nos

mas facilidad de identificar los resultados del punto, también se utilizó el simulador lógico

que es una herramienta que nos permite identificar si el procedimiento que se efectuó se

hizo correctamente. Las leyes de inferencia nos permitieron identificar si la conclusión

de las premisas es correcta.

Bibliografía
Martin, J. (5 de Febrero de 2019). Simulador Truth (Simulador logico de la UNAD) . Obtenido de
Simulador logico de la UNAD: http://logicaunad.com/jtruth/