Tarea 1 – Proposiciones y Tablas de Verdad

Rodrigo Devia Rueda

91.531.982
Grupo (200611_712)

Presentado a:
Andrea Lizbeth Nova

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas Tecnología e Ingeniería
Programa Académico
28/02/2020
Ejercicio 2: Proposiciones y Tablas de verdad

Para el desarrollo de este ejercicio, es necesario que revise en el

Entorno de Conocimiento (Unidad 1), las siguientes referencias:
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras
algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del
ejercicio 2:

B. 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.

Proposiciones simples del argumento:

p= Gabriel García Márquez escribió Cien años de soledad.
q= Gabriel García Márquez escribió La Ilíada
r= Gabriel García Márquez es un escritor brillante e ingenioso

Expresión del argumento en lenguaje simbólico o formal:

(p ∨ q) r
Generar una tabla de verdad con el simulador Lógica UNAD:

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 (p v q) r
v v v v
v v f f
v f v v
v f f f
f v v v
f v f f
f f v f
f f f V

Rta: la tabla da como resultado contingencia ya que aparecen

simbolos verdaderos y falsos.