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

Pensamiento Lógico Matemático

Elaborado por:
Pablo Andrés Puerta Salazar
Grupo 200611-239

Tutor
Luis Eduardo Benjumea
Pensamiento Lógico Matemático

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Bogotá, 2019
 INTRODUCCIÓN

Este trabajo recopilatorio pretende evidenciar que desde la practica de tres ejercicios
matemáticos podamos comprender los conceptos principales de la lógica proposicional,
utilizando conversiones en ambas direcciones desde el lenguaje natural de expresiones y el
lenguaje formal, tablas de la verdad de modo manual y con simulador; aplicando dichos
conceptos a la resolución de problemas sugeridos según la guía de actividades en contexto de
la letra escogida previamente para el desarrollo de la tarea, para este caso la letra A.
 OBJETIVOS

 Presentar un único archivo en formato valido según la guía de actividades con las
características de presentación requeridas en la misma en el entorno de seguimiento y
evaluación.
 Comprender y aplicar los conceptos de la lógica proposicional por medio de la
realización de los ejercicios seleccionados de la letra correspondiente.
 Utilizar herramientas como el simulador para la verificación de las tablas de la verdad
generadas de forma manual.
 Aplicar de manera practica la lógica proposicional, tablas de la verdad, cuantificadores
y la determinación de tautologías, contradicciones y contingencias según los resultados.
 DESARROLLO DEL EJERCICIO 1

TEMATICA A DESARROLLAR LETRA “A”, CUANTIFICADOR UNIVERSAL AFIRMATIVO

Cuantificador Universal Afirmativo

Definición:
Es un símbolo que generaliza las expresiones dándole una frecuencia de valor verdadero o cierto para todos
los casos o individuos y es usado en el lenguaje formal de la lógica proposicional.

Por ejemplo, podemos decir que "A" es una expresión y "x" una variable. Entonces si deseamos indicar
que "A" es verdadero (para todos) los posibles valores de "x”.

Para lo cual se simboliza:

(∀x) que es cuantificador universal

A es el alcance o lo que abarca del cuantificador

∀ es el símbolo como tal y se lee "para todos"

Se utilizan comúnmente las siguientes palabras o frases para denotar:

 Todos - todo
 Para cada – cada
 Cada uno
 Siempre que
 Para todo
 Cualquiera

Por ejemplo, la expresión:

“Todas las lámparas emiten luz" entonces se identifica el predicado: emiten luz,
entonces P (x) significa que "x" emite luz; y la frase "todas las lámparas", indica que esto se
formaliza para todos los "x" y se escribe:

(∀x) P (x)
EJEMPLOS DE LA TEMATICA

 Todos los perros comen huesos y tienen pulgas

∀x (perro (x) → comenhuesos(x) ʌ tienenpulgas (x))

 Siempre que cocino en horno o parrilla, todos quieren repetir

∀x (quierenrepetir (x) → cocinoenhorno(x) v cocinoenparrilla (x))

DESARROLLO DE LA ACTIVIDAD EN HERRAMIENTA DIGITAL OFFICE POWERPOINT

ENLACE DE LA PRESENTACION

https://unadvirtualedu-
my.sharepoint.com/:p:/g/personal/papuertas_unadvirtual_edu_co/EbMNvLmKc7tBgQaih2MyjwsB9B
pMlzWfleFHh-XwCLnHtg?e=um33G9
 DESARROLLO DEL EJERCICIO 2

Desarrollo del ejercicio 2, Proposiciones y tablas de la verdad

Argumento:

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

Proposiciones simples (4)

p: Laura chatea en su celular

q: conduce por la carretera

r: tiene una alta probabilidad de accidentarse

s: puede dañar su automóvil.

En lenguaje formal tenemos 4 proposiciones y sería:

[(p ˄ q) → (r ˅ s)]
Generación de tabla de la verdad manual

[(p ˄ q) → (r ˅ s)]
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 ES UNA: CONTINGENCIA

Generación de tabla de la verdad con simulador

Resultado es una CONTINGENCIA

 DESARROLLO DEL EJERCICIO 3

Desarrollo del ejercicio 3, Proposiciones compuestas

Lenguaje simbólico de argumento:

A. (p ˄ q) → (r ˅⌐q)
Definición de las proposiciones simples en contexto académico:

p: Pablo realiza la tarea de PLM

q: y duerme mucho tiempo
r: cumple con los objetivos

Por otro lado, tenemos negación de q (⌐q)

⌐q: no duerme mucho tiempo

Argumento llevado a lenguaje natural:

Pablo realiza la tarea de PLM y duerme mucho tiempo, entonces cumple

con los objetivos o no duerme mucho tiempo.
Generación de tabla de la verdad manual

(p ˄ q) → (r ˅ ⌐q)
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 ES UNA: CONTINGENCIA

Generación de tabla de la verdad con simulador

Resultado es una CONTINGENCIA

 CONCLUSIONES

Durante la realización de este informe recopilatorio del desarrollo de los tres ejercicios según
la letra escogida (LETRA A), se aplicaron los conceptos de manera práctica de la lógica
proposicional, tablas de la verdad, cuantificadores y la determinación de tautologías,
contradicciones y contingencias según los resultados, permitiendo su apropiación, y utilizando
herramientas web como el simulador para la verificación de las tablas de la verdad generadas
de forma manual; finalizando con la elaboración y entrega de este documento.
 Referencias bibliográficas
Proposiciones y tablas de verdad

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 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226457&tm=152924
6259924

Proposiciones y Conectores lógicos

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=15293358
49013

Ejemplo del ejercicio tablas de la verdad manual

Video. Recuperado de: https://www.youtube.com/watch?v=X3waxFrtuTI&feature=youtu.be

Curso Pensamiento Lógico Matemático

UNAD. Unidad 1 Lógica Proposicional. Recursos educativos. Recuperado de

https://campus08.unad.edu.co/ecbti47/mod/page/view.php?id=451v

Simulador Lógica UNAD

Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado de: http://logicaunad.com/jtruth/

Cuantificadores

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&docID=3199701&tm=1529
510366591

Recurso web para la Presentación

https://www.office.com