Unidad 1- Tarea- Métodos para probar la validez de argumentos

Angie Ximena Montañez Lizarazo – Grupo 451

Septiembre de 2020

Tutor
Francisco Javier Reyes

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de Ciencias Sociales Artes y Humanidades (ECSAH)
Pensamiento Lógico y Matemático
Soacha
Descripción del ejercicio: A continuación, encontrará las proposiciones simples para el
desarrollo del ejercicio 1:
p: Rafael Pombo es un escritor colombiano
q: Gabriel García Márquez escribió Mirringa Mirronga como Simón el bobito
r: Rafael Pombo nació en Bogotá en el año 1833
[(𝑞 ∨ 𝑟) ↔ 𝑠] ∧ 𝑠
Escriba la proposición compuesta propuesta en lenguaje natural
Rafael Pombo es un escritor Colombiano

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 [(q V r) [(q V r) ↔ [(q V r) ↔s] ∧ 𝑠

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

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.