Tarea 1 – Proposiciones y Tablas de Verdad

Estudiante:
Alisson Tatiana Garcia Romero

Tutor:
Guillermo Manjarres
N° Grupo:
1381

Universidad Nacional Abierta y a Distancia

21/09/2019
Introducción

El propósito de este trabajo es que el estudiante desarrolle habilidades, analice, interprete la

lógica de cada punto, conocer y manejar cuantificadores para poder serlos explícito en una
presentación didáctica, entender proposiciones y manejar una tabla de verdad, se resuelve y
se identifica la proposición compuesta que puede ser tautología, contradicción o
contingencia
Objetivos

o Aumentar el interés por las matemáticas y el pensamiento lógico matemático a

través de actividades motivadoras para el universitario, con un contenido visual y
útil.

o Este trabajo busca que el estudiante conozca y aplique los conceptos de lógica
proposicional. Ejercicio 1: Conceptualización de Cuantificadores
Desarrollo de los 3 ejercicios

Ejercicio 1: https://prezi.com/view/Eld2Vx0iWCWrDTwYDmDp/

Ejercicio 2: A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva

al concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller de Fernando
• Definir las proposiciones simples del argumento.
R/ (p ⇒ q) ∨ (-q ⇒ r)
Separemos las proposiciones simples, (o sea simples afirmaciones):

p: La materia de inglés de Gabriela necesita tenerla nota alta.

q: Gabriela va a la Universidad.

r: Gabriela va a habla con el tutor.

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

R/ SI La materia de inglés de Gabriela necesita tenerla nota alta ENTONCES Gabriela
va a la Universidad.
SI p ENTONCES q.

p⇒q
SI Gabriela NO va a la Universidad. ENTONCES Gabriela va a habla con el tutor.

SI NO q ENTONCES r
-q ⇒ r

Como a las dos anteriores los une un "o" (∨), el párrafo entero quedaría así:

(p ⇒ q) ∨ (-q ⇒ r)

• 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.
 El resultado es una contingencia.

Ejercicio 3: A.(𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)
• 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
p: Martha estudia en la UNAD
q: La UNAD es una universidad pública
r: Ella estudia Psicología
s: Ella está en segundo semestre
• 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.
Lenguaje natural de la exposición formal:
p^q: Si Martha estudia en la UNAD pero; la UNAD es una universidad publica
r^s: Si ella estudia Psicología pero; ella está en segundo semestre
(p^q)→(r^s): Si Martha estudia en la UNAD pero; la UNAD es una universidad pública
entonces si ella estudia Psicología pero; ella está en segundo semestre.
• 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
El argumento es contingencia. Tiene valores falsos y verdaderos
Conclusiones

o Esta actividad fue un tanto complicada al principio porque no entendía cómo

desarrollar las tablas, pero luego entendí y se me hizo que era muy complejo en
trabajo.

o La herramienta que se nos da para el desarrollo de algunos puntos de esta actividad

fue muy útil y practica para elaborar las tablas de la verdad.

o Fue una actividad que me dejo más entendimiento para este curso.
Referencias

Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/

Castaño, G. (2018). Simulador Lógica UNAD, [Vídeo]. Recuperado de
https://youtu.be/L1g2KC7rsNo
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=3226
457&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=319
9701&tm=1529335849013
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=31
99701&tm=1529510366591
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