Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

Curso:
Pensamiento lógico y matemático

Presentado por:

Código:

Grupo:

Tutor:

Universidad nacional abierta y a distancia (UNAD)

30 de sept. de 18
Actividad
1. 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.
Tema:
C. Cuantificador Existencial.

2. Este fin de semana, voy hacer un asado y voy a realizar una actividad en la piscina y
voy a pasar tiempo agradable con mi familia.
• A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
• Definir las proposiciones simples del argumento.
• Definir la expresión del argumento en lenguaje simbólico o formal.
• Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos
educativos Simulador TRUTH, 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.

3. A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:

[(𝑝 → 𝑞)^(~𝑞)^(𝑟 → 𝑞)]

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.
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
• Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico.
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).
• Definir si el argumento seleccionado inicialmente es una tautología,
contradicción o contingencia.
Desarrollo:
1. Link de la presentación:

2.
Proposición simple:
p: Este fin de semana, voy hacer un asado
q: voy a realizar una actividad en la piscina
r: voy a pasar tiempo agradable con mi familia

Lenguaje simbólico:
[(𝑝^𝑞)^𝑟]

Tabla de verdad con el simulador Truth Table:

Tabla de verdad manualmente:

p q r (p^q) [(p^q)˄r]
v v v v v
v v f v f
v f v f f
v f f f f
f v v f f
f v f f f
f f v f f
f f f f f

3. Proposiciones simples
 p= todos los días me propongo estudiar.
q=estudiado obtengo buenas calificaciones.
r=apruebo el curso.

Lenguaje natural de la expresión formal

Todos los días me propongo estudiar si estudio obtengo buenas calificaciones, sino lo hago
obtendré malas calificaciones, aprobare el curso si obtengo buenas calificaciones, si me lo
propongo aprobare el curso.

Tabla de verdad con el simulador Truth Table

Tabla de verdad manualmente

p q r ∼q p→q r→q (p→q)˄(∼q) [(p→q)˄(∼q)˄(r→q)] [(p→q)˄(∼q)˄(r→q)]→r
v v v f v v f f v
v v f f v v f f v
v f v v f f f f v
v f f v f v f f v
f v v f v v f f v
f v f f v v f f v
f f v v v f v f v
f f f v v v v v f

La tabla es contingencia
Referencias:

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

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591
• 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. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=
3226457&tm=1529246259924
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID
=3199701&tm=1529335849013

• http://lidis.usbcali.edu.co/Proyectos/matematicasDiscretas/2016-
1/grupo1/guiaslogica/Cuantificadores.pdf

• https://www.youtube.com/watch?v=juviHMJp9m8