Pensamiento Lógico Matemático

Tarea 1 – Proposiciones y tablas de verdad

Por

Dahiana Patricia Borja Echeverry

Código: 1037504536

Grupo: 200611_374

Nini Johanna Vargas

Tutor: Pensamiento Lógico Matemático

Universidad Nacional Abierta y a Distancia –Unad

Escuela de Ciencias de la Salud ECISA
Programa de Tecnología en seguridad y salud en el trabajo
San Roque, mayo de 2019
 Introducción

Obtener conocimientos previos es una necesidad prioritaria a la hora de desarrollar cualquier

actividad sea de tipo personal o colaborativo. Por medio del presente trabajo se pretende que los

estudiantes identifiquemos y nos apropiemos de los entornos de aprendizaje virtual por medio de

actividades prácticas de reconocimiento para iniciar un proceso de interacción no solo con la

plataforma sino con la temática y contenidos que son muy buena base para el desarrollo de las

actividades propias del curso Pensamiento Lógico Matemático.

 Objetivo General

A través del desarrollo de la siguiente actividad el estudiante reconoce los diferentes entornos de

aprendizaje del curso, se apropia de conocimientos básicos e identifica estrategias de

Aprendizaje que le facilitarán el inicio y la realización de cada una de las actividades propuestas.

Objetivos específicos:

 Desarrollo de los ejercicios luego del reconocimiento de los entornos de conocimiento

 Elaboración del cuantificador Universal, Proposiciones y tablas de Verdad y problemas de

aplicación los resúmenes del material bibliográfico de la unidad 1 ejercicio 1-2-3

 Identificación de las principales estrategias de acompañamiento en el curso de

Pensamiento Lógico y Matemático

 Reconocer los diferentes entornos de aprendizaje y aplicar los conocimientos adquiridos

en el desarrollo de las actividades propuestas durante el curso

 Actividades a desarrollar

Ejercicio 1 Cuantificador Universal Afirmativo

Ejercicio 2 Proposiciones y Tablas de verdad

A Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta
probabilidad de accidentarse o Laura puede dañar su automóvil

• Definir las proposiciones simples del argumento.

P: Si Laura chatea en su celular

Q: Laura conduce por la autopista
R: Laura tiene una alta probabilidad de accidentarse
S: Laura puede dañar su automóvil

• 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.
Su resultado es una Contingencia
p q r S (𝑝 ⩘ 𝑞) → ( 𝒓 ⩗ 𝒔)

V V V V V
V V V F V
V V F V V
V V F F F
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V 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

P: Laura es docente de la UNAD

Q: La UNAD ofrece facilidades para estudiar

R: Daniela estudia desde el Amazonas

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

Si Laura es docente de la UNAD y la UNAD ofrece facilidades para estudiar, entonces Daniela
puede estudiar desde el Amazonas o la UNAD no le ofrece facilidades para estudiar.

• 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 (𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)

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

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

contingencia
Según la tabla de verdad construida manualmente a partir del simulador Lógica UNAD, el
argumento seleccionado es una Contingencia, puesto que la tabla de verdad es una combinación
entre tautología (v) y contradicción (f).
 Conclusiones

 La realización de este trabajo fue muy significativa, ya que permitió acercarnos a los

Diferentes entornos que como estudiantes vamos a encontrar en el desarrollo de las

actividades dándonos bases fundamentales para abordar los mismos.

 Se pudo proponer en práctica todo el proceso que debemos desarrollar al llegar al entorno

de Conocimiento, las referencias bibliográficas y los archivos propuestos para el

desarrollo de la actividad, permitiéndonos reconocer y aplicar herramientas

 Adecuadas, las cuales permitieron brindar soluciones de acuerdo a cada ejercicio.

 Se pudo evidenciar la importancia del reconocimiento de los diferentes entornos y

ambientes de aprendizaje del curso, y la necesidad de apropiarnos debidamente de los

temas propuestos en de cada actividad.

 Bibliografía

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?ppg=109&docID=3199701&tm=152951036
6591

Cuantificador universal afirmativo Pensamiento lógico y matemático Luz Dary Casas Velandia
Tutor: Enrique Rodriguez Bonilla. Recuperado de
https://es.calameo.com/books/0058512028a8f5df8fa54

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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20&tm=1529246259
924

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=152
9335849013