UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Paso 6 - Métodos para probar validez de argumentos

Estudiante

Estefania Payan Trochez

Docente

MANZUR STEVENSON RODRIGUEZ

Curso

Pensamiento Lógico y Matemático

Grupo

989

Cali – Colombia

Santiago de Cali, 14 de Mayo del 2018

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

Aprender a usar e interpretar de forma concisa las reglas de inferencias, volver

a practicar proposiciones simples y compuestas, tablas de verdad, métodos de
demostración, y poder aplicar un razonamiento válido en tiempo real.

Objetivos Específicos

Investigar acerca de las Reglas de Inferencia.

Realizar los ejercicios propuestos en la guía de actividades: Proposiciones simples

y compuestas, tablas de verdad, aplicar reglas de inferencia en los ejercicios
propuestos.
 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.
Nota: En caso de ser extraído de alguna fuente bibliográfica, se debe citar empleando
normas APA.

A. Silogismo Disyuntivo, Modus Tollendo Tollens y Adición.

https://prezi.com/view/jlC2vbMW2LdhNiQ8ZxzG/
 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”.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Solución
“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”.

Proposiciones Simples:

p= camino 7 metros hacia adelante.

q= entonces me desplazo

r= camino 7 metros en sentido contrario

Declaración de las Premisas

Premisa 1: Si camino 7 metros hacia adelante, entonces me desplazo.

𝒑→𝒒

Premisa 2: Pero no es cierto que (si camino 7 metros hacia adelante y camino 7
metros en sentido contrario, entonces me desplazo)

~[ ( 𝒑 ∧ 𝒓 ) → 𝒒 ]

Premisa 3: No camino 7 metros hacia adelante.

~𝒑

Conslusion: camino 7 metros en sentido contrario.

Lenguaje Formal

{(p>q)&~[ (p&r)>q]&-p}>r

{(p→q)Λ¬[ (pΛr)→q]Λ¬p}→r
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth

Expresión Tautología

Tabla de Verdad

De Tautología, el argumento queda demostrado.

p q r p∧r ( p ∧ r )→q ¬[ ( p ∧ r )→q ] ¬[ (pΛr)→q]Λ¬p p→q {(p→q)Λ¬[ (pΛr)→q]Λ¬p} {(p→q)Λ¬[ (pΛr)→q]Λ¬p}→r

V F V V V F F V F V
V F F F V F F V F V
V F V V F V F F F V
V F F F V F F F F V
F V V F V F F V F V
F V F F V F F V F V
F V V F V F F V F V
F V F F V F F V F V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Demostración por Leyes de Inferencia

{(p→q)Λ¬[ (pΛr)→q]Λ¬p}→r
1. p→q
2. ¬[ (pΛr)→q]
3. ¬p
∴𝒓
4. ~𝑝𝛁(𝑞𝛁𝑟) a 3 aplico ley asociativa.
5. ~𝒑 ∧ ( 𝒒 ∧ 𝒓 ) a 4 aplico ley de Morgan
6. ( 𝒒 ∧ 𝒓 ) a 5 aplico simplificación
7. 𝒓 a 6 aplico simplificación

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

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.

Solución:

Primero identificaré las premisas para tener más claro lo que se esta
solicitando.

Premisa 1: Si Martha estaba en la tienda a la hora de la novela

Premisa 2: Joaquín salió a buscar a Martha justo cuando se termina la novela
Premisa 3: Javier afirma que vio a Joaquín salir de su casa un minuto después de Martha
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Premisa 4: Tendera Carla afirma que Martha nunca fue esa noche a la tienda.

Se puede decir que es un razonamiento inductivo porque va de algo pequeño a algo

grande, de lo particular a lo general, de micro a macro lo cual es contrario al
razonamiento deductivo que es de lo general a lo particular, también se afirma esto
porque detallan los nombres de las personas (Partiular) y al final llega una persona la
cual es la que afirma que los sospechosos están mintiendo que serial la argumentación
General.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Conclusiones

Se logra aplicar todos los objetivos propuestos del trabajo, utilizando herramientas
tecnológicas como es el paquete de Ofimática para el desarrollo de las actividades, se
cumplió los objetivos propuestos, obtener conocimiento sobre las leyes de inferencia y
cuál es su aplicación.

Bibliografía

APA (American Psychological Assoc.)

Curo, A., & Martínez, M. (2013). Matemática básica para administradores. Lima, Peru:
Editorial UPC.

MLA (Modern Language Assoc.)

Curo, Agustín and Mihály Martínez. Matemática Básica Para Administradores. Editorial
UPC, 2013. EBSCOhost.

http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html