UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

Unidad 1 Tarea 1 - Proposiciones y tablas de verdad

PENSAMIENTO LÓGICO Y MATEMÁTICO

Presentado por:
DANIELA GÓMEZ
CODIGO 1.128.400.560

Grupo:
200611_1094

Directora:
MARY ORTEAGA GONZÁLEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_UNAD

CEAD MEDELLÍN
MARZO DE 2019
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

EJERCICIO 3

c ¿ ( p ↔ ¬q ) ∨ ( q ∧r )

- 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

p: Juan es un humano
q: El perro es herbívoro
r: La luna sale de día

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

Juan es un humano si y solo si el perro es un herbívoro o Juan es un humano y la

luna sale de día
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

- 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 (¬q) (p↔(¬q)) (q∧r ) ((p↔(¬q)) ∨(q∧r )

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

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

contradicción o contingencia

Es una tabla de Contingencia

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

BIBLIOGRAFÍA

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo].

Recuperado de http://hdl.handle.net/10596/7961

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871

http://logicaunad.com/jtruth/

http://lidis.usbcali.edu.co/Proyectos/matematicasDiscretas/2016-1/grupo3/calcLogica.html