I

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

JUAN DIEGO JIMENEZ PAEZ

CODIGO: 1073178981

GRUPO:

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

PROGRAMA DISEÑO INDUSTRIAL

LOGICA MATEMATICA

FACATATIVA

2020-1
 II

INTRODUCCION

La presente actividad busca es dar a conocer sobre el conocimiento de la lógica

matemática, el punto de vista y aprendizaje del mismo, como lo es la lógica

proposicional y tablas de verdad.

 III

Ejercicio 1: Conceptualización de Cuantificadores

IV
V
VI
 VII

Ejercicio 2: Proposiciones y Tablas de verdad

p: Gabriel García Márquez escribió Cien años de soledad

q: La Ilíada

r: es un escritor brillante e ingenioso

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

p∨q↔r

Tabla de verdad
 VIII

p q r pVq p∨q↔r
V V V V V
V F V V V
F V F V F
F F F F F

Ejercicio 3: Problemas de aplicación

Definición de preposiciones simples:  

p: ir en bicicleta  
q: aumentar la velocidad  
r: llegar temprano a la Universidad  
s: gasto más Energía  
Lenguaje natural de la exposición formal  
p∧q: Voy en Bicicleta y aumento la velocidad
¬r∧s: No llego temprano a la Universidad  y gasto más energía
 IX

(p∧q)↔(¬r∧s) : Voy en bicicleta y aumento la velocidad  si y solo si  No llego temprano
a la Universidad  y gasto más energía

p q r s (p∧q)↔(~r∧s)
V V V V F
V V V F F
V V F V V
V V F F F
V F V V V
V F V F V
V F F V F
V F F F V
F V V V V
F V V F V
F V F V F
F V F F V
F F V V V
F F V F V
F F F V F
F F F F V

El argumento es una contradicción porque tiene valores de verdad falsos y

verdaderos
 X

CONCLUCION

En conclusión, se puede decir que la lógica matemática se pueden encontrar

diferentes puntos de enfoques literarios he interpretes profesionales en el tema,

dado que para un aprendizaje lógico solo hay que encontrar un problema para

buscar una solución por mérito propio.

La motivación es una característica del ser humano por logra o alcanzar algo o a

alguien.
 XI

BIBLIOGRAFÍA

Universidad Nacional Abierta y a Distancia. (2005). unad. Obtenido de

http://docencia.udea.edu.co/cen/logica/