Pensamiento Lógico Matemático

Carlos Arturo Ospina Cadena

Septiembre de 2019

Curso 200611_1825

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería
 2

Tabla de Contenido

1. Introducción ............................................................................................................... 3
2. Objetivo General ....................................................................................................... 4
2.1 Objetivos Específicos.................................................................................................... 4
3. Ejercicio No. 1: Conceptualización de Cuantificadores ............................................ 5
4. Ejercicio No. 2: Proposiciones y Tablas de Verdad .................................................. 6
5. Ejercicio No. 3: Problemas de Aplicación ................................................................ 8
6. Conclusiones............................................................................................................ 11
7. Lista de referencias .................................................................................................. 12
 3

1. Introducción

La realización de esta actividad; pretende conceptualizar por medio de ejercicios sobre

Cuantificadores, proposiciones y situaciones de la vida cotidiana dándole solución de
acuerdo a Tablas de Verdad.
 4

2. Objetivo General

Brindar al estudiante elementos para conocer el concepto de la Lógica Proposicional y su

aplicación.

2.1 Objetivos Específicos

1. Conceptualizar el significado de Cuantificadores

2. Realización de ejercicios prácticos de aplicación de la vida cotidiana para la
resolución de problemas usando tablas de verdad.
 5

3. Ejercicio No. 1: Conceptualización de Cuantificadores

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno
de los siguientes temas y presentarlo de manera gráfica a través de una presentación,
utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A
partir del tema deberá dar su definición y dos ejemplos.

El tema elegido es:

A. Cuantificador Universal Afirmativo

Relaciono el link de acceso a la presentación en Prezi. Preferiblemente abrir la

presentación en Google Chrome.

https://prezi.com/view/EsRlONxxJQe6esHBoHSy/
 6

4. Ejercicio No. 2: Proposiciones y Tablas de Verdad

Argumento:

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

• Proposiciones Simples:

p = El vehículo de Gabriela necesita mantenimiento

q = Gabriela lleva su vehículo al concesionario
r = Gabriela lleva su vehículo al taller de Fernando

• Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

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

• Tabla de la verdad (manual):

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

F F F V V F V

F F V V V V V

F V F V F V V

F V V V F V V

V F F F V F F

V F V F V V V

V V F V F V V

V V V V F V V

Resultado de la tabla de verdad: CONTINGENCIA

 7

• Simulador Lógica UNAD:

 8

5. Ejercicio No. 3: Problemas de Aplicación

Expresión formal o simbólica (dada en el planteamiento del ejercicio):

A. (𝑝∧𝑞)→(𝑟 ⋀ 𝑠)

Definición de las proposiciones simples:

p: Si las prácticas de Laboratorio son el próximo Domingo

q: Asisto a la Universidad
r: Realizo los experimentos
s: Obtengo buenas calificaciones

Lenguaje natural de la expresión formal: (A partir de las proposiciones simples

anteriores y el lenguaje simbólico dado en el ejercicio, se construye la expresión en
lenguaje formal o natural)

Si las practicas del laboratorio son el próximo domingo y asisto a la Universidad entonces
realizo los experimentos y obtengo buenas calificaciones

Generar la tabla de verdad manualmente:.

p q r s (p^q) (r^s) (((p^q))→((r^s)))

F F F F F F V

F F F V F F V

F F V F F F V

F F V V F V V

F V F F F F V

F V F V F F V

F V V F F F V
 9

F V V V F V V

V F F F F F V

V F F V F F V

V F V F F F V

V F V V F V V

V V F F V F F

V V F V V F F

V V V F V F F

V V V V V V V

Resultado de la tabla de verdad: CONTINGENCIA

 10

Generar la tabla de verdad con el simulador Lógica UNAD

 11

6. Conclusiones

Se logra comprender el manejo de una nueva herramienta como lo es la tabla de verdad,

la cual muestra el valor de verdad de una proposición compuesta, para cada combinación
de verdad que se pueda asignar.

Desarrollar problemas de la Lógica Proposicional, gracias a las actividades propuestas se

logra identificar y comprender los elementos esenciales en la lógica proposicional y la
forma de aplicarlos para resolver problemas cotidianos por medio de tablas de verdad.
 12

7. Lista de referencias

ORodrí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
=3226457&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&docI
D=3199701&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&doc
ID=3199701&tm=1529510366591

Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de:

http://logicaunad.com/jtruth/