Pensamiento Lógico Matemático

Robert Gerardo campo Arteaga

Grupo_458

Tutor

Luis Carlos Rojas

Universidad Nacional Abierta y a Distancia – UNAD

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

Ingeniería de sistemas

La Plata Huila- mayo 2020

 Introducción

El siguiente documento la solución de las actividades planteadas en la guía, en donde se

vienen a desarrollar la conceptualización de cuantificadores, en este caso de realizo el
cuantificador universal afirmativo, también está el desarrollo de las proposiciones y tablas
de verdad e su lenguaje formal como simbólico.

Objetivos

 Desarrollar conceptualización de cuantificadores

 Desarrollar proposiciones y tablas de verdad
 Identificar las proposiciones en una oración
 Desarrollar manualmente tablas de verdad
 Desarrollar una tabla de verdad en lenguaje simbólico y formal
 Identificar el resultado final de una tabla de verdad y determinar si es contingencia,
contradicción o tautología.
Ejercicio 2
A: Cali es la capital de la salsa o Medellín es la ciudad de la eterna
primavera si y solo si Bucaramanga es la ciudad bonita y Barranquilla es la
puerta de oro de Colombia.

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
• Definir las proposiciones simples del argumento.
P: Cali es la capital de la salsa
Q: Medellín es la ciudad de la eterna primavera
R: Bucaramanga es la ciudad bonita
S: Barranquilla es la puerta de oro de Colombia.

• Definir la expresión del argumento en lenguaje simbólico o formal.

p ∨q ↔ r ∧s
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos
educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico,
así como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico
y determinar si el resultado es una tautología, contingencia o contradicción.
P Q R S ( p ∨q) (r ∧ s) ( p ∨q) ↔(r ∧ s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V V V V
V F V F V F F
V F F V V F F
V F F F V F F
F V V V V V V
F V V F V F F
F V F V V F F
F V F F V F F
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V
Resultado de la tabla: contingencia.
Ejercicio 3

A. (¬𝑝∧𝑟)↔(𝑞∨𝑠)
A partir de la proposición compuesta en lenguaje simbólico que haya
seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo

una descripción basada en un contexto, el que se solicita es un
contexto académico.
P: Trabajo en el campo
Q: Prefiero estudiar
R: Estudio en la UNAD
S: Estudio en la surcolombiana

• Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.
No trabajo en el campo y prefiero estudiar, si y solo si estudio en la UNAD o
estudio en la surcolombiana
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos
educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico,
así como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico
P Q R S ∼p (∼ p ∧r ) (q ∨ s) (∼ p ∧r )↔( q ∨s )
V V V V F F V F
V V V F F F V F
V V F V F F V F
V V F F F F V F
V F V V F F V F
V F V F F F F V
V F F V F F V F
V F F F F F F V
F V V V V V V V
F V V F V V V V
F V F V V F V F
F V F F V F V F
F F V V V V V V
F F V F V V F F
F F F V V F V F
F F F F V F F V

• Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia
Resultado de la tabla: Contingencia

Conclusión

En el trabajo desarrollado sobre las conceptualización de cuantificadores en este caso me

toco desarrollar cuantificador universal afirmativo fue muy importante porque se pudo
aprender en oraciones sobre los cuantificadores, de igual forma con las proposiciones y
tablas de verdad, identificar e las oraciones las proposiciones y poderlas traducir desde su
lenguaje formal y simbólico y pasarlas a los cuadros y conocer si su resultado final es una
tautología contingencia o contradicción.
 Referencia Bibliográfica

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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20

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://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12

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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109
Proposiciones y Conectores lógicos
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20pp. 9-
28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=12