Método para comprobar la validez de los argumentos

Lógica Matemática

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

 PREPOSICIONES SIMPLES:
p: El papa Juan Pablo II fue el papa 264 de la iglesia católica.
q: El papa Juan Pablo II Nació el 16 de octubre de 1978
r: El papa Juan Pablo II Fue canonizado en el año 2014

 LENGUAJE SIMBÓLICO:
[(𝑝 ∧ 𝑟) → 𝑞] ∧ [(𝑝 ∨ 𝑞) → ~𝑟]

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
1. Escriba la proposición compuesta propuesta en lenguaje natural.

 LENGUAJE NATURAL:
El papa Juan Pablo II fue el papa 264 de la iglesia católica Y si el papa Juan Pablo II
Fue canonizado en el año 2014 ENTONCES el papa Juan Pablo II Nació el 16 de
octubre de 1978 Y si el papa Juan Pablo II fue el papa 264 de la iglesia católica O el papa
Juan Pablo II Nació el 16 de octubre de 1978 ENTONCES el papa Juan Pablo II NO Fue
canonizado en el año 2014.

2. Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.
p q r ~ (𝑝 ∧ 𝑟) (𝑝 ∨ 𝑞) [(𝑝 ∧ 𝑟) → 𝑞] [(𝑝 ∨ 𝑞) → ~𝑟] [(𝑝 ∧ 𝑟) → 𝑞] ∧ [(𝑝 ∨ 𝑞) → ~𝑟]
r
V V V F V V V F F
V V F V F V V V V
V F V F V V F F F
V F F V F V V V V
F V V F F V V F F
F V F V F V V V V
F F V F F F V V V
F F F V F F V V V

RTA: El resultado de la tabla es una CONTINGENCIA ya que hay valores falsos y

verdaderos.
3. Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.
 4. Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1
seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc
u otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente y
mostrar a la cámara su documento de identificación, ocultando e l número del mismo (En
la imagen se debe ver claramente el nombre y apellidos del estudiante).

https://www.youtube.com/watch?v=6F5DPo5sLC0&feature=youtu.be

5. Deberá subir el link del vídeo a youtube u otra plataforma de vídeos y pegar el
enlace debajo de la solución del ejercicio en el documento final a entregar. El vídeo no
debe superar los 3 minutos de duración.

https://www.youtube.com/watch?v=6F5DPo5sLC0&feature=youtu.be

Ejercicio 2: Identificación de las reglas de la inferencia lógica

D Expresión simbólica

1.1 1.2 1.3

p→q p^q p→q
¬q q→r
¬p p p→r

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
1. Nombrar la ley de inferencia que representa cada expresión simbólica.

1.1 1.2 1.3

p→q p^q p→q
¬q q→r
¬p p p→r
Modo Tollendo Ley De Silogismo Hipotético
Tollens (MTT) Simplificación
.
 La premisa es la Puedo escoger El antecedente de una
negación del consecuente cualquiera de las condicional debe ser igual al
resulta la negación del premisas consecuente de la otra
antecesor. condicional.

2. Definir las proposiciones simples, tendrá la libertad de definirlas bajo una

descripción basada en un contexto, el que se solicita es un contexto académico (puede
usar las mismas proposiciones simples en cada una de las 3 expresiones simbólicas
seleccionadas),
3. Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje
simbólico.
1.1
p→q
¬q
¬p
Modo Tollendo Tollens
(MTT)

La premisa es la negación
del consecuente resulta la
negación del antecesor.
Preposiciones Simples:
 p = Juan realiza mucho ejercicio.
 q = Juan tiene buena condición física.
Lenguaje Natural:
 Juan realiza mucho ejercicio entonces Juan tiene buena condición física. Juan NO
tiene buena condición física. por lo tanto Juan NO realiza mucho ejercicio.

1.2
p^q
 p
Ley De Simplificación.

Puedo escoger cualquiera de las

premisas
Preposiciones Simples:
 p = Juan realiza mucho ejercicio.
 q = Juan tiene buena condición física.
Lenguaje Natural:
 Juan realiza mucho ejercicio Y Juan tiene buena condición física por lo tanto Juan
realiza mucho ejercicio.
1.3
p→q
q→r
p→r
Silogismo Hipotético

El antecedente de una condicional

debe ser igual al consecuente de la
otra condicional.

Preposiciones Simples:
 p = Juan realiza mucho ejercicio.
 q = Juan tiene buena condición física.
 r = Juan es deportista
Lenguaje Natural:
 Juan realiza mucho ejercicio entonces Juan tiene buena condición física. Juan
tiene buena condición física entonces Juan es deportista por lo tanto Juan realiza
mucho ejercicio entonces Juan es deportista.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

D. Si Luis participa en los B-Learning entonces obtiene puntos. Si obtiene puntos

entonces, obtendrá buenas calificaciones.
Preposiciones Simples:
p = Luis participa en los B-Learning
q = obtiene puntos
r = obtendrá buenas calificaciones

a. Conclusión: r = obtendrá buenas calificaciones

b. Ley de inferencia aplicada: Silogismo Hipotético
c. Lenguaje simbólico: p→q
q→r
p→r
Lenguaje Natural:
Si Luis participa en los B-Learning entonces obtiene puntos. Si obtiene puntos
entonces, obtendrá buenas calificaciones, por lo tanto Si Luis participa en los B-
Learning entonces obtendrá buenas calificaciones.

Ejercicio 4: Problemas de aplicación

D. Expresión simbólica:[(𝑝→𝑞)∧(𝑞→¬𝑟)∧𝑟]→¬𝑝
P1: (𝑝→𝑞)
 P2: (𝑞→¬𝑟)
P3: 𝑟
Conclusión: ¬𝑝

A partir de la expresión simbólica seleccionada, el estudiante deberá:

1. Definir las proposiciones simples, tendrá la libertad de definirla bajo una
descripción basada en un contexto, el que se solicita es un contexto académico:

p = Carlos estudia lógica matemática.

q = Carlos obtiene puntos
r = Carlos pasa el curso de lógica matemática

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.
Si carlos estudia lógica matemática entonces carlos obtiene puntos. Carlos obtiene
puntos entonces Carlos NO pasa el curso de lógica matemática. Carlos pasa el curso
de lógica matemática por lo tanto Carlos NO estudia lógica matemática.

3. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).
p q r ¬ (𝑝→𝑞 (𝑞→¬𝑟 [(𝑝→𝑞)∧(𝑞→¬𝑟 [(𝑝→𝑞)∧(𝑞→¬𝑟)∧𝑟 [(𝑝→𝑞)∧(𝑞→¬𝑟)∧𝑟]→¬
𝑟 ) ) ) ] 𝑝

V V V F V F F F V
V V F V V V V F V
V F V F F V F F V
V F F V F V F F V
F V V F V F F F V
F V F V V V V F V
F F V F V V V V V
F F F V V V V F V

4. Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD),
ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de argumentos.

5. Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

Conclusión: ¬𝑝

P1: (𝑝→𝑞)
P2: (𝑞→¬𝑟)
P3: 𝑟
P4: - q (MTT 2, 3)
P5: - p (MTT 1, 4)