TRABAJO INDIVIDUAL TAREA 1 - PROPOSICIONES Y TABLAS DE

VERDAD

ALEXANDER AYALA QUITIAN

COD. 1122123934

GRUPO: 200611_ 1188

YERSSON DAVID MOSQUERA

TUTOR

UIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTO LOGICO Y MATEMATICO
INGENIERÍA INDUSTRIAL
CEAD ACACIAS
8 DE MARZO DEL 2020
 INTRODUCCIÓN
Este trabajo relaciona de una forma didáctica el autoaprendizaje en el tema
“Proposiciones y tablas de verdad”, combinando aspectos ofrecidos por las
TIC, la plataforma interactiva de la UNAD y los referentes bibliográficos
solicitados por el tutor. Al realizar Este trabajo se evidenciará un avance
progresivo; desde la conceptualización de los cuantificadores, hasta la
aplicación en problemas planteados referentes a las tablas de verdad.
Interactivamente el estudiante aplicará el conocimiento práctico de generación
de presentaciones dinámicas y la verificación a las soluciones de tablas de
verdad desde las aplicaciones de la plataforma.
 OBJETIVOS
Objetivo General: El estudiante realiza de forma dinámica presentaciones
interactivas referentes a los temas propuestos por el tutor de la UNAD.
Objetivos Específicos:
 Aplica el concepto de cuantificadores lógicos y los reconoce en
proposiciones.

 Entiende el concepto de proposiciones simples y compuestas, aplica los

conectores lógicos y genera lenguajes simbólicos o formales.

 Reconoce y genera tablas de verdad a partir de los ejercicios propuestos

y los verifica con el aplicativo de la UNAD.
 EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES
Enlace de la presentación en Prezi:
https://prezi.com/view/HrcNlzYnvKRHa6FcwY7e/
EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD
A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo
tanto, su área mide 60 cm2

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 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
y determinar si el resultado es una tautología, contingencia o contradicción.

DESARROLLO
Argumento:
Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su
área mide 60 cm2
1. Proposiciones simples del Argumento
p: La base de un triángulo mide 6 cm
q: Su altura mide 10 cm
r: Su área mide 60 cm2
2. Expresión del argumento en lenguaje simbólico o formal
(p q)  r
 3. Tabla de Verdad (Simulador Lógica UNAD)

4. Tabla de Verdad (Manual)

(p ^ q) El resultado de la
p q r (p ^ q) tabla de verdad es
-> r
V V V V V una contingencia
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

EJERCICIO 3: PROBLEMAS DE APLICACIÓN

A. [~𝑝 → (𝑞 ⋀ 𝑟)]
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: Carlos estudia en la UNAD.
q: La UNAD es una Universidad Pública
• 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.
 • 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).
• Definir si el argumento seleccionado inicialmente es una tautología,
contradicción o contingencia
DESARROLLO
Argumento
[~𝑝 → (𝑞 ⋀ 𝑟)]
1. Definir las Proposiciones Simples:

p: Me gradúo como Ingeniero de la UNAD

q: Estudio para los exámenes
r: Presento mis trabajos a tiempo
2. Expresión en lenguaje Natural:
Si no me gradúo como ingeniero de la UNAD, entonces estudio para los
exámenes y presento mis trabajos a tiempo.

3. Tabla de Verdad (Simulador Lógica UNAD)

 4. Tabla de Verdad (Manual)

p q r ~p (q ^ r) [~p->(q ^ r)] El resultado de la tabla de

V V V F V V verdad es una contingencia
V V F F F V
V F V F F V
V F F F F V
F V V V V V
F V F V F F
F F V V F F
F F F V F F
 CONCLUSIONES

Este trabajo desarrollado bajo la supervisión de la red de tutores y mediante las

herramientas de aprendizaje de la UNAD logra de una forma dinámica e
interactiva el autoaprendizaje de los temas planteados en los objetivos y la guía
de actividades de la tarea 1. Estos temas agilizan la comprensión del
estudiante y potencializan el desarrollo mental, convirtiendo del lenguaje
natural a las expresiones formales o simbólicas. También no menos válido: la
aplicación en futuros lenguajes de programación binarios, como aplicación a la
vida laboral.
 REFRENCIAS BIBLIOGRAFICAS

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&docID=3199701&tm=1529510366591

Centro Universitario de la costa Norte Lógica y Conjuntos Unidad 4

Proposiciones y cuantificadores Ing, en Computación. Jazmín Aguirre Suarez.
Puerto Vallarta, Jalisco 01 de Diciembre de 2012. Recuperado de
(https://es.slideshare.net/jazzme/lgica-y-conjuntos-proposiciones-y-
cuantificadores).