UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 6. METODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

Estudiante

Docente

Marlon Osorio

Curso

Pensamiento Lógico y Matemático

Grupo

96

Andalucía Valle

Junio del 2018

OBJETIVOS
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

 Conocer los métodos utilizados de leyes de inferencia y argumentos lógicos

 Desarrollas las tareas propuestas, apoyándose en los links que encontramos en el entorno
de conocimiento
 Comprobar la tabla de verdad en el simulador truth table.
 Socializar las tareas en el foro dispuesto para ello, y retroalimentar las
actividades desarrolladas por los compañeros.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

En este paso 6: Métodos para probar validez de argumentos, se desarrollarán las temáticas de
Proposiciones simples y compuestas, tablas de verdad, métodos de demostración, razonamientos
lógicos, inferencia lógica y argumentos lógicos. Para las cuales tenemos 3 ejercicios a solucionar, de
igual manera utilizaremos la herramienta del simulador truth table, para comprobar que la solución
sea la correcta.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Actividades a Desarrollar

Tarea 1: Conceptualización de las reglas de inferencia.

Realizar una pequeña presentación en PREZI, de la conceptualización y dos ejemplos específicos

de un grupo de las Reglas de Inferencia Lógica.

Ejercico B

Silogismo Hipotético:

http://prezi.com/hts-3vdcljnu/?utm_campaign=share&utm_medium=copy&rc=ex0share

Simplificación

http://prezi.com/ini-oit82nyx/?utm_campaign=share&utm_medium=copy

Leyes de Morgan.

http://prezi.com/kmghsad84lve/?utm_campaign=share&utm_medium=copy
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 2: Problemas de aplicación I

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en
el foro, de tal forma que no coincida con los compañeros.

a. Luna se encuentra estudiando el material del curso de física general, especialmente el

tema movimiento en una dimensión, entonces se reflexiona un poco para entender el
concepto de desplazamiento, por lo que Luna hace el siguiente razonamiento: “Si
camino 7 metros hacia adelante, entonces me desplazo. Pero no es cierto que (si camino
7 metros hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo).
No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”.

p = 7 metros hacia adelante.

q = 7 metros en sentido contrario.

r = Desplazamiento.

Generar la tabla de verdad manualmente y a través del simulador Truth Table

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

simulador Truth Table: La forma de usar las tablas de verdad es evaluando la existencia del caso
en que las premisas sean verdaderas y la conclusión sea falsa, con eso se demostraría que el
razonamiento no sería válido. Con el desarrollo de este ejercicio la siguiente tabla muestra que las
premisas son verdaderas y la conclusión también lo es, por lo tanto, el razonamiento es válido

Aplicación de leyes de inferencia:

1. (p →q)
2. ~ [(p ∧ r) →q]
3. ~p
∴r

Premisa 4. ~ [(p ∧ r) ∨ q] ley condicional en 2

Premisa 5. (p ∧r) ∧ ~ q ley de Morgan en 4

Premisa 6. (~p →~q) ley de contraposición en 1

Premisa 7. ~ q simplificación en 5

Premisa 8. p ∧ r simplificación en 5

Premisa 9. ~ p modus ponendo ponens en 6 y 7

Premisa 10. r tollendo tollens en 8 y 9

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Tarea 3: Razonamiento Deductivo e Inductivo

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en
el foro, de tal forma que no coincida con los compañeros.

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo, argumentado la

respuesta con sus propias palabras

a. Después de mucho analizar el caso, el investigador German hace da la siguiente

argumentación: “Si Martha estaba en la tienda a la hora de la novela y Joaquín salió a buscar a
Martha justo cuando se termina la novela, pero Javier afirma que vio a Joaquín salir de su casa un
minuto después de Martha y la tendera Carla afirma que Martha nunca fue esa noche a la tienda,
entonces es probable que los sospechosos estén mintiendo.

Respuesta:

El método deductivo, ya que se considera como un método científico que reflexiona que la
conclusión se halla implícita dentro de las premisas, en el caso anterior, el investigador llega a una
conclusión debido a una serie de hechos que no coinciden entre sí, por tanto, el deduce que alguno
de los sospechosos está diciendo mentiras; lo cual conllevaría a que los implicados fueran hallados
culpables del asesinato de la víctima.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

 Reforzar conocimientos previos adquiridos en las anteriores unidades del curso.

 Usar las tablas de verdad y simulador truth, para demostrar la validez o no
validez de los razonamientos lógicos
 Aplicar las leyes de inferencia.
 Se analizó la problemática planteada en la guía de actividades.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal.
Volumen I: conjuntos numéricos, complementos. (pp. 17-29). Madrid, España:
Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID
=10995629&tm=1489710145734

Curo, A., & Martiń ez, M. (2013). Matemática básica para administradores. Lima, Peru: Editorial
UPC. Páginas 22 - 27. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/login.aspx?dir
ect=true&db=e000xww&AN=1042768&lang=es&site=ehost-live&ebv=EB&ppid=pp_1

Leyes de inferencia, tomado de : http://lgicaepn.blogspot.com/2011/12/reglas-de-inferencia.html