Ejercicio 2: Proposiciones y Tablas de verdad

Argumento
 Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un
escritor brillante e ingenioso.

A. Definir las proposiciones simples del argumento.

Proposiciones simples

p = Escribió cien años de soledad

q = La Ilíada
r= Escritor brillante

s= Ingenioso

B. Definir la expresión del argumento en lenguaje simbólico o formal.

Lenguaje simbólico o formal

[(p˅q) ↔ (r˄s)]
 C. 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)

Simulador Lógica UNAD:

 D. 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 s (p V q) (r ⋀ s) [(p V q)⟷(r ⋀ s)]

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

 Resultado de la tabla de verdad: CONTINGENCIA