PENSAMIENTO LOGICO Y MATEMATICO

Profesor tutor: Nevardo Alfonzo Ayala

UNIDAD 1: TAREA 1 - PROPOSICIONES Y TABLAS DE VERDAD

Nombre: July Nataly Serna Suarez

Código del estudiante: 200611_491

Bucaramanga/septiembre/2019
 INTRODUCCION

El siguiente trabajo pretende dar solución a los ejercicios propuestos en la Unidad 1:

tarea 1 - proposiciones y tablas de verdad del curso de pensamiento lógico matemático,

donde todos los estudiantes deberán participar activa y colaborativamente en el foro de

discusión. De otra parte nos permite aprender sobre el tema mediante el análisis de las

lecturas y videos recomendados por nuestro tutor.

 OBJETIVOS

OBJETIVO GENERAL

Aprender temas tratados en la tarea 1 proposiciones y tablas de verdad, a través del

desarrollo de algunos ejercicios planteados.

OBJETIVOS ESPECIFICOS

 Identificar conceptos básicos de la unidad 1: tarea 1 proposiciones y tablas de

verdad

 Resolver ejercicios de proposiciones del lenguaje natura al lenguaje al lenguaje

simbólico

 Realización de tablas de verdad y comprobarlas con el simulador de Lógica UNAD

Ejercicio 1: Conceptualización de Cuantificadores

Pantallazos de la presentación de PowerPoint

Ejercicio 2: Proposiciones y Tablas de verdad

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

p: el vehículo de Gabriela necesita mantenimiento

q: ella lo lleva al concesionario
᷈q: ella no lo lleva al concesionario
r: lo lleva al taller de Fernando

 Lenguaje simbólico o formal:

(p → q) V ( ᷈ q → r )

 Tabla de verdad manualmente

p q r (p→q) (~q) (~q→r) (p→q)v(~q→r)

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

 El resultado es: CONTINGENCIA

 Simulador Lógica UNAD:
Ejercicio 3: Problemas de aplicación

 Lenguaje simbólico o formal: (𝒑 ∧ 𝒒) → (𝒓 ⋀ 𝒔)

 Lenguaje natural:
Soy disciplinada en mis estudios además resuelvo las inquietudes del tema con mi
tutor por lo tanto entrego mis aportes a tiempo así mismo saco buenas
calificaciones
p: Soy disciplinada en mis estudios
q: Resuelvo las inquietudes del tema con mi tutor
r: Entrego mis aportes a tiempo
s: Saco buenas calificaciones

 Tabla de verdad manualmente

p q r s 𝒑∧𝒒 𝒓⋀𝒔 (𝒑 ∧ 𝒒) → (𝒓 ⋀ 𝒔)

V V V V V F V
V V V F V V F
V V F V V F F
V V F F V F F
V F V V F F V
V F V F F V V
V F F V F F V
V F F F F F V
F V V V F F V
F V V F F V V
F V F V F F V
F V F F F F V
F F V V F F V
F F V F F V V
F F F V F F V
F F F F F F V
 El resultado es: CONTINGENCIA
 CONCLUSIONES

En este trabajo adquirimos conocimientos nuevos acerca del tema propuesto en la unidad 1:

tarea 1 proposiciones y tablas de verdad y a través del desarrollo de los ejercicios

planteados de proposiciones del lenguaje natura al lenguaje, al lenguaje simbólico los

cuales atreves de estos ejercicios propuestos pudimos fortalecer y aprender los conceptos

básicos y prácticos de la unidad de estudio.

La presente actividad nos contribuyó en, asimismo, el simulador de Lógica UNAD la cual

nos aportó facilidades para la verificación de los ejercicios de la realización de las tablas de

la verdad que se elaboraron manualmente.

 REFERENCIAS BIBLIOGRAFICAS

cardona, T. S. (2010 ). logica matematica par aingieneria de sistemas y computacion (pp.

106-112) . edicciones Elizcom, Madrid .

Rodriguez, V. (2013). conjuntos numericos,estructuras algebraicas y fundamentos de la

algebra lineal. Volumen I: conjuntos numericos, complementos. (pp. 19-28). .

Madrid, españa: : editorial tebear flores .

cardona, T. S. (2010). logica matematica par aingieneria de sistemas y computacion (pp.

09-28). edicciones Elizcom, Madrid.