PASO 7- RESOLUCIÓN DE SITUACIONES PROBLÉMICAS DEL MUNDO REAL DESDE

LA LÓGICA MATEMÁTICA

LUIS MIGUEL ARAQUE CHIA

GRUPO: 200611_317

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

INGENIERÍA DE TELECOMUNICACIONES

PENSAMIENTO LÓGICO MATEMÁTICO

CEAD TUNJA

2018
 INTRODUCCIÓN

El desarrollo de la presente actividad tiene como finalidad aplicar los métodos aprendidos en el

transcurso de este periodo que está por finalizar y así poder demostrar de que tantos conocimientos

fueron adquiridos por cada estudiante en las diferentes temáticas que se lograron trabajar, las

cuales eran, proposiciones y tablas de verdad, teoría de conjuntos y también las leyes de inferencia.
 OBJETIVOS

Desarrollar ejercicios poniendo en práctica lo aprendido.

Profundizar más en los temas vistos.

Analizar y obtener mayor conocimiento y facilidad en la solución de ejercicios.

 DESARROLLO DE ACTIVIDADES

1. Tarea 1: Proposiciones y tablas de verdad

EJERCICIO D: [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q

 Definición de las proposiciones simples

p: Están arreglando la casa

q: Están reparando las paredes

r: Están pintando las puertas

s: La casa es nueva

 Lenguaje natural de la expresión formal

Si están arreglando la casa o están reparando las paredes, están arreglando la casa y están pintando

las puertas entonces la casa es nueva, están pintando las puertas y la casa no es nueva. Por lo tanto,

están reparando las paredes.

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Tabla de verdad manual

p q r S [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q

V V V V V

V V V F V

V V F V V

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

Simulador Truth Table

  Definir si el argumento es una Tautología, contradicción o contingencia

En este caso el argumento resulta ser una tautología ya que todos los resultados terminan siendo

verdaderos.

2. Tarea 2: Problemas De Aplicación I

EJERCICIO D: Una aerolínea desea saber el destino turístico de Colombia con más

aceptación entre los viajeros extranjeros en el año 2017. Por esta razón se ha realizado un análisis

a la cantidad de personas que han viajado a tres ciudades costeras de Colombia y se ha obtenido la

siguiente información:

 3356 personas viajaron a Cartagena.

 6861 personas viajaron a San Andrés.

 4643 personas viajaron a Santa Marta.

 1195 personas viajaron en el año 2017 a Cartagena y Santa Marta.

 778 personas viajaron ese año a Santa Marta y San Andrés.

 455 personas tuvieron como destino las tres ciudades en el año 2017.

 Ninguna persona manifestó haber viajado solamente a Cartagena y San Andrés.

 Identificación de los conjuntos

U= {Viajeros extranjeros con destinos turísticos de Colombia}

A= {Personas que viajaron a Cartagena}

B= {Personas que viajaron a Santa Marta}

C= {Personas que viajaron a San Andrés}

 Elaboración del Diagrama de Venn

 Descripción de la solución del Problema

A. ¿Cuántos extranjeros viajaron a un solo destino?

Rta: 11.369 Extranjeros viajaron a un solo destino

B. ¿Cuántos extranjeros viajaron únicamente a Santa Marta?

Rta: 3.125 Extranjeros viajaron únicamente a Santa Marta

C. ¿Cuántos extranjeros viajaron a Cartagena o San Andrés, pero no a Santa Marta?

Rta: 8.244 Extranjeros viajaron a Cartagena o San Andrés.

 D. ¿Cuántas personas se tuvieron en cuenta para el análisis?

Rta: 12.887 Personas se tuvieron en cuenta para el análisis.

3. Tarea 3: Razonamiento Deductivo E Inductivo

EJERCICIO 2: En la seguridad vial es importante tener claro que ser precavido ayuda para

evitar muchos accidentes. Para implementar una campaña publicitaria, se ha planteado el siguiente

argumento: “Si voy en motocicleta y aumento la velocidad, llego temprano a la Universidad. No

es cierto que, si aumento la velocidad, gasto más combustible. Pasa que gasto más combustible o

voy en motocicleta. En conclusión, llego temprano a la Universidad”.

[((p^q)→r)^~(q→s)^(svp)]→r

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Tabla de verdad manual

p q r s [((p^q)→r)^~(q→s)^(svp)]→r

V V V V V

V V V F V

V V F V V

V V F F V

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

Tabla de verdad generador Truth Table

 CONCLUSIONES

En esta actividad se logró practicar y profundizar en las temáticas vistas durante este periodo.

También fue posible desarrollar ejercicios sobre proposiciones y tablas de verdad, teoría de

conjuntos y sobre las leyes de inferencia con más facilidad, puesto que el objetivo de esta actividad

era reforzar y tener más conocimiento sobre dichos temas, es posible afirmar que el objetivo se

cumplió satisfactoriamente.
 REFERENCIAS BIBLIOGRAFICAS

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp. 151-

162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=11046000&

tm=1489704594878

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado de

http://erenriquez.net/largoty/Ova01MD/

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones. Recuperado

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

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

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

Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En ProQuest ebrary

(Ed). Matemáticas. Sus fundamentos en secuencia óptima. (pp. 24 – 34). Córdoba, Argentina: El

Cid Editor. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=10075782&t

m=1489706755797

Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30). México, D.F.,

México: Larousse - Grupo Editorial Patria. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11046169&t

m=1489706134764
Sánchez, H. R. (2014). Álgebra. México, D.F., MX: Larousse - Grupo Editorial Patria. Páginas 2-

30. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11046169&t

m=1492518830144

Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest (Ed).

Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I:

conjuntos numéricos, complementos. (pp. 17-29). Madrid, España: Editorial Tébar Flores.

Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10995629&t

m=1489710145734

Curo, A., & Martínez, M. (2013). Matemática básica para administradores. Lima, Peru: Editorial

UPC. Páginas 22 - 27. Recuperado de

http://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/login.aspx?direct

=true&db=e000xww&AN=1042768&lang=es&site=ehost-live&ebv=EB&ppid=pp_1

Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera Edición. (pp.

91 – 197). México D.F., México: Universidad Autónoma de Sinaloa. Recuperado de

http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest (Ed).

Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara, México: Larousse -

Grupo Editorial Patria. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=30