Pensamiento Lógico Matemático

Proposiciones y Tablas de la Verdad

Presentado por:

Yina Marcela Contreras Dávila

Grupo: 200611_295

Tutor
Mayda Lorena Cuellar Ceron

Universidad Nacional Abierta y a Distancia

(UNAD)
Escuela de Ciencias Básicas, Tecnología e Ingeniería (ECBTI)
CCAV Cartagena
Programa: Ingeniería Industrial
Mayo, 2019
 INTRODUCCION
En este trabajo analizaremos la conceptualización de cuantificadores; en este caso especifico,
el Cuantificador Universal Afirmativo; por medio de ejercicios de proposiciones simples de
los argumentos dados en la Guia del curso, todo esto para comprender mediante la lógica
proposicional y la tabla de verdad la resolución de problemas.

OBJETIVO GENERAL
Entender los conceptos fundamentales de lalógica proposicional mediante el uso de
cuantificadores y la tabla de verdad.

OBJETIVOS ESPECÍFICOS
 Adquirir conocimientos de los conceptos de cuantificadores y su uso, en la lógica
proposicional.
 Comprender y analizar la resolución de problemas mediante el pensamiento lógico
Matemático.
 Hallar posibles soluciones a partir de argumentos planteados en los ejercicios de
problemas cotidianos.
 Definir mediante el lenguaje simbólico la expresión de un argumento.
Ejercicio 1:
Ejercicio 2:
Argumento:
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.
Proposiciones simples:
p: Laura chatea en su celular
q: Laura conduce por la autopista
r: Laura tiene probabilidad de accidentarse
s: Laura puede dañar su auto

Expresión en lenguaje simbólico:

(p ^ q) → (r ˅ s)

TABLA DE VERDAD MANUAL

p q r s p^q r ˅s (p ^ q) → (r ˅ s)
V V V V V V V
V V V F V V V
V V F V V V V
V V F F V F F
V F V V F V V
V F V F F V V
V F F V F V V
V F F F F F V
F V V V F V V
F V V F F V V
F V F V F V V
F V F F F F V
F F V V F V V
F F V F F V V
F F F V F V V
F F F F F F V

Resultado de la tabla de verdad: Contingencia

Simulador Lógica UNAD
Ejercicio 3:
Lenguaje simbólico:
(p ^ q) → (r ˅ ¬q)
Lenguaje natural de la expresión:
Si Diana estudia en la UNAD y es excelente estudiante, entonces se graduará
satisfactoriamente o no es excelente estudiante.
Proposiciones simples:
P: Diana estudia en la UNAD
q: Diana es excelente estudiante
r: Diana se graduará satisfactoriamente

Simulador Lógica UNAD

Tabla de Verdad Manual

TABLA DE VERDAD MANUAL

p q r ⌐ q p ^ q r ˅ ¬q (p ^ q) → (r ˅ ¬q)
v v v f v v v
v v f f v f f
v f v v f v v
v f f v f v v
f v v f f v v
f v f f f f v
f f v v f v v
f f f v f v v
Resultado: Contingencia
 CONCLUSIÓN
El desarrollo del presente trabajo permite adquirir conocimientos de que son
cuantificadores, como aplicarlos para hallar solución a problemas planteados, conocer la
importancia del pensamiento lógico matemático, comprender el uso del lenguaje simbólico,
y a su vez, de la tabla de verdad en el Simulador Lógica UNAD.

BIBLIOGRAFIA
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.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 9-28). Ediciones Elizcom, Madrid.
Adriana Cecilia Castiblanco Beltrán. (17 de febrero de 2016). Cuantificador Universal
Afirmativo. [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=oHmE73Y2eJY