Unidad 1: Tarea 1 – Proposiciones y tablas de verdad

Nombre: Erika Yinei López Giraldo

Código: 1061656750

N.º Grupo: 1651

Nombre tutor:

Juan David Lacharme

Universidad Nacional Abierta y a Distancia UNAD

Pensamiento lógico y matemático

19-09-2019
 INTRODUCCIÓN

El ejercicio del presente trabajo se realizo a partir de los lineamientos establecidos por la guía

de actividades del curso Pensamiento lógico y matemático. El tema es proposiciones y tablas

de verdad y las actividades fueron realizadas teniendo en cuenta las lecturas del entorno de

conocimiento; en el desarrollo del documento usted encontrara una serie de ejercicios en los

cuales se evidencian: la conceptualización de cuantificadores, proposiciones, tablas de verdad

y problemas de aplicación.

OBJETIVOS:

 Comprender los elementos y conceptos fundamentales de la lógica proposicional y

aplicarlos en la resolución de problemas.

 Analizar las proposiciones en un contexto conocido, determinando su validez a través

de las tablas de verdad.

DESARROLLO DE LOS 3 EJERCICIOS

Ejercicio 1: Conceptualización de Cuantificadores

1. Captura de pantalla de diapositivas en power point.

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con

los rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se

forma con muchos colores.

1. Definir las proposiciones simples del argumento.

p: El arcoíris se forma con muchos colores

q: El agua de lluvia interactúa con los rayos de luz solar

r: E sol está detrás de las nubes

2. Definir la expresión del argumento en lenguaje simbólico o formal.

(p↔q) ⋁ (r→∽P)

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico

4. 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 (p↔q) (r→∽p) (p↔q) ⋁ (r→∽p)

V V V F V F V

V V F F V V V

V F V F F F F

V F F F F V V

F V V V F V V

F V F V F V V

F F V V V V V

F F F V V V V

Resultado de la tabla de verdad: Contingencia

Ejercicio 3: Problemas de aplicación

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á:

1. 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: Erika participa en los foros de discusión a tiempo

q: obtiene una retroalimentación por parte del tutor.

r: Aprende más para ajustar el trabajo

s: Adquiere más conocimientos para un excelente desempeño.

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante.

Erika participa en los foros de discusión a tiempo entonces obtiene una retroalimentación por

parte del tutor. Aprende más para ajustar el trabajo y adquiere más conocimientos para un

excelente desempeño.

3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.
 4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q r S (p  q) (r ∧ s) (pq) ∧ (r ∧s)

V V V V V V V

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

V V F F V F F

V F V V F V F

V F V F F F F

V F F V F F F

V F F F F F F

F V V V V V V

F V V F V F F

F V F V V F F

F V F F V F F

F F V V V V V

F F V F V F F

F F F V V F F

F F F F V F F

5. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia

Resultado de la tabla de verdad: Contingencia.

CONCLUISIONES

 Con el desarrollo de este trabajo se logra comprender la importancia de la

conceptualización de cuantificadores y la aplicación de las misma en la resolución de

problemas.

 Por otro lado, al realizar los ejercicios se presentan planteamientos en los cuales se

identifican argumentos a través de lenguaje natural y simbólico.

 La ejecución de las tablas de verdad logra identificar el grado de afirmación y negación

de acuerdo al contexto.

 Para concluir considero que los ejercicios establecidos causaron un grado de dificultad,

pero al lograr comprender las lecturas y explicaciones por parte del grupo de tutores se

obtiene la comprensión y ejecución de las actividades.

 Bibliografía

Arturo.C. (2019).Cuantificador Universal Negativo. [Figura]. Recuperado de

https://www.google.com/imgres?imgurl=https%3A%2F%2Fi.ytimg.com%2Fvi%2Fx
mWWdW9jDkA%2Fmaxresdefault.jpg&imgrefurl=https%3A%2F%2Fwww.youtube
.com%2Fwatch%3Fv%3DxmWWdW9jDkA&docid=Wi470PNNvw4svM&tbnid=8Y
brnVpDb00uFM%3A&vet=10ahUKEwicqKDJgMnkAhVC11kKHctZDikQMwhHK
AAwAA..i&w=1280&h=720&bih=876&biw=1821&q=cuantificador%20universal%
20negativo&ved=0ahUKEwicqKDJgMnkAhVC11kKHctZDikQMwhHKAAwAA&i
act=mrc&uact=8

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

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=3
199701&tm=1529335849013

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

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

Cuantificador.(s.f). En Wikipedia. Recuperado el 10 de septiembre de 2019 de

https://es.wikipedia.org/wiki/Cuantificador

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

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