Tarea 4 - Sustentación Unidades 1, 2 o 3

Johana Yelitza Mojica Vargas

Universidad Nacional Abierta y a Distancia

Grupo: 200611_416

Notas del autor

Johana Yelitza Mojica Vargas, Facultad de Ingeniería, Universidad Nacional Abierta y

Distancia

Este trabajo ha sido realizado por la propia alumna

Este trabajo debe ser dirigido a Laura Daniela Marroquín, Universidad Nacional Abierta y

Distancia

Contacto: jymojicav@unadvirtual.edu.co
Ejercicio 2: Métodos para probar la validez de un argumento
a. Expresión simbólica:

[(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝⋀𝑠

Conclusión: 𝒓

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

 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: camilo estudio para el examen de lógica matemática

q: aprobó el examen

r: camilo gano la materia de lógica matemática

s: vio la web conferencia de lógica matemática

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

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
tomaran las medidas correctivas estipuladas por la UNAD.

[(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)

Si camilo estudio para el examen de lógica matemática entonces aprobó el examen y aprobó
el examen entonces camilo gano la materia de lógica matemática y camilo estudio para el
examen de lógica matemática y vio la web conferencia de lógica matemática entonces camilo
gano la materia de lógica matemática

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

 p q r s (p → q) (q→r) (p⋀s) →r [(p→q)⋀(q→r)⋀(p⋀s)]→r
V V V V V V V V V
V V V F V V F V V
V V F V V F V V V
V V F F V F F V V
V F V V F V V V V
V F V F F V F V V
V F F V F F V V V
V F F F F F F V V
F V V V V V F V V
F V V F V V F V V
F V F V V F F V V
F V F F V F F V V
F F V V V V F V V
F F V F V V F V V
F F F V V V F V V
F F F F V V F V V

Resultado de la tabla de verdad TAUTOLOGIA

[(𝒑 → 𝒒)⋀(𝒒 → 𝒓)⋀(𝒑⋀𝒔)] → (𝒓)

Premisas:
P1: 𝒑 → 𝒒
P2: 𝒒 → 𝒓
P3: 𝒑⋀𝒔

Conclusión: 𝒓
P4: simplificación de P3
p⋀𝑠
P4: p

P5: modus ponendo ponens P1 y P4

p→ 𝑞
p
P5: q
P6: modus ponendo ponens P2 y P5
q→ 𝑟
q
P6: r