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
06/02/2020
Ejercicio 1: Conceptualización de Cuantificadores

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

Entorno de Conocimiento (Unidad 1), la siguiente referencia:

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante

debe escoger uno de los siguientes temas y presentarlo de manera
gráfica a través de una presentación, utilizando un recurso didáctico
tipo PREZI, PowerPoint u otra herramienta digital. A partir del tema
deberá dar su definición y dos ejemplos
Los temas propuestos son:

B. Cuantificador Universal negativo.

Enlace presentación PREZI:
https://prezi.com/view/Stgdo9Yjd9W4ZtkNhadP/

 Ningun ser humano puede vivir sin oxigeno

∀x (H(x) V(x) -O(x))

 Nadie que sea humano vuela

Para todos y, si y es humano, entonces y no vuela

∀x (H(x) -O(x))
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.
Ejercicio 3: Problemas de aplicación

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á proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

B. [ ( p ∧q ) ⟷ ( ∼ r ⋀ s ) ]

A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado 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, ejemplo:

p=Rodrigo estudia Ingeniería Electrónica.

q=La UNAD le brindo esta oportunidad.
r=por su trabajo no lo puede hacer presencial.
s=si puede a distancia.
 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 considerará como
copia y se tomarán las medidas correctivas estipuladas por la
UNAD.

“Rodrigo estudia Ingeniería Electrónica y la UNAD le brindo esta

oportunidad, si y solo si por su trabajo no lo puede hacer
presencial y si virtual”.

 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 r s ( p ∧q ) (∼r ⋀ s )

v v v v v f
v v v f f f
v v f v v v
v v f f f f
v f v v v v
v f v f f v
v f f v v f
v f f f f v
f v v v v v
f v v f f v
f v f v v f
f v f f f v
f f v v v v
f f v f f v
f f f v v f
 f f f f f v

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia.

Rta=Es una contingencia ya que tiene símbolos verdaderos y falsos.