Pensamiento Lógico Matemático

Unidad 1: tarea 1- Proposiciones y tablas de verdad

Presentado por:

Johen Gallardo Villalba

GRUPO:

200611-425

Presentado a:

Sandra Patricia Barrios Rodríguez

Universidad Nacional Abierta y a Distancia (UNAD)

Abril de 2020

San Martín César

 INTRODUCCION

INTRODUCCION
Con el desarrollo del
presente trabajo
abordaremos varias
temáticas del curso de
pensamiento lógico
matemático, que nos
ayudaran a despertar nuestras
habilidades en el
desarrollo de ejercicios
problema aplicables a la
vida real, las cuales
serán de mucha
utilidad no solo en nuestros
procesos de estudio de la
ingeniería industrial, sino
también en
nuestra futura etapa como
ingenieros en la cual
ejerceremos los
conocimientos adquiridos,
en la cual para cualquier
ingeniero es muy importante
desarrollar habilidades de
lógica
matemática, sobre todo en
nuestro caso que estamos
estudiando la ingeniería
industrial, la
cual se basa bastante en la
optimización de procesos
INTRODUCCION
Con el desarrollo del
presente trabajo
abordaremos varias
temáticas del curso de
pensamiento lógico
matemático, que nos
ayudaran a despertar nuestras
habilidades en el
desarrollo de ejercicios
problema aplicables a la
vida real, las cuales
serán de mucha
utilidad no solo en nuestros
procesos de estudio de la
ingeniería industrial, sino
también en
nuestra futura etapa como
ingenieros en la cual
ejerceremos los
conocimientos adquiridos,
en la cual para cualquier
ingeniero es muy importante
desarrollar habilidades de
lógica
matemática, sobre todo en
nuestro caso que estamos
estudiando la ingeniería
industrial, la
cual se basa bastante en la
optimización de procesos
Con el desarrollo del presente trabajo abordaremos varias temáticas del curso de

Pensamiento Lógico Matemático, que nos ayudaran a despertar nuestras

habilidades en el desarrollo de ejercicios problema aplicables a la vida real. Las

cuáles serán de mucha utilidad no solo en nuestros procesos de estudio de la

Psicología, sino también en nuestra futura etapa como Psicólogos, en la cual

ejerceremos los conocimientos adquiridos, en la cual para cualquier Psicólogo es

también de suma importancia desarrollar habilidades de lógica matemática,

sobre todo en nuestro caso que estamos estudiando la Psicología la cual se basa

en nuestros conocimientos.

El primer ejercicio sobre proposiciones y tablas de verdad se definió

proposiciones simples del argumento seleccionado, así como su expresión,

lenguaje, símbolo lo que permitió generar una tabla de verdad y tabla de la

unidad denominado conceptualizaciones de cuantificadores se realizó una

presentación del tema cuantificadores en la lógica matemática, posteriormente

en el ejercicio 2 a través denominado conceptualización de cuantificadores en la

lógica matemática.
 OBJETIVO

Proporcionar al alumno los elementos básicos y conceptos de la lógica

matemática, necesarios para el estudio más profundo de los fundamentos de las

matemáticas, el estudiante Distinguirá los diferentes tipos de razonamiento

usados en las ciencias. Enunciará las principales reglas de inferencia lógica,

podrá distinguir entre razonamientos válidos y razonamientos inválidos, podrá

distinguir los tipos de demostraciones utilizados en matemáticas, enunciará los

constituyentes de un lenguaje formal, dará ejemplos de formalizaciones lógicas

en las matemáticas, entenderá las limitaciones de la lógica de primer orden con

respecto a las teorías matemáticas, Comprenderá la importancia de la lógica

simbólica en el estudio de los fundamentos de las matemáticas.

Ejercicio 1: Pantallazo de Diapositivas de Cuantificador Universal Afirmativo
Ejercicio 2: Proposiciones y Tablas de verdad
Descripción del ejercicio: A continuación, encontrará los argumentos para el desarrollo
del ejercicio 2:
C. Si el uso de computador es muy básico en la UNAD y Juan no tiene
computador, entonces tendrá dificultad para estudiar o irá al CEAD más cercano
para usar los que la universidad le ofrece.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
• Definir las proposiciones simples del argumento.
p = el uso de computador es muy básico en la UNAD
q = Juan tiene computador
r = tendrá dificultad para estudiar
s = irá al CEAD más cercano para usar los que la universidad le ofrece.
• 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 ¬ q ( p ∧¬ q) (r ∨ s) [ ( p ∧¬ q)→( r ∨ s) ]
V V V V F F V V
V V V F F F V V
V V F V F F V V
V V F F F F F V
V F V V V V V V
V F V F V V V V
V F F V V V V V
V F F F V V F F
F V V V F F V V
F V V F F F V V
F V F V F F V V
F V F F F F F V
F F V V V F V V
F F V F V F V V
F F F V V F V V
F F F F V F F V

R// el resultado es una contingencia.

Ejercicio 3: Problemas de aplicación
Descripción del ejercicio: A continuación, encontrará proposiciones compuestas en
lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:

C. (𝑟 ∨ ¬𝑞) → ¬p

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, ejemplo:
p: Carlos estudia en la UNAD.
q: La UNAD es una Universidad Pública
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerará como copia y se
tomarán las medidas correctivas estipuladas por la UNAD.
Solución:

(𝑟 ∨ ¬𝑞) → ¬p

p = Camila estudia ingeniería en la UNAD

q = La UNAD tiene facultad de ingeniería
r = Pensamientos lógicos matemáticos es una materia de ingeniería
Pensamientos lógicos matemáticos es una materia de ingeniería o la UNAD no tiene
facultad de ingeniería entonces Camila no estudia ingeniería en la UNAD.

• 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)
Solución:

Resultado de la tabla de verdad: Contingencias

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r ¬p ¬q (𝑟 ∨ ¬𝑞) (𝑟 ∨ ¬𝑞) → ¬p

V V V F F V F
 V V F F F F V
V F V F V V F
V F F F V V F
F V V V F V V
F V F V F F V
F F V V V V V
F F F V V V V

Resultado de la tabla de verdad: Contingencias

• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia
Solución:
R//: el argumento seleccionado inicialmente es una Contingencias.
 CONCLUSIONES

Con la realización de este trabajo se determinaron y aplicaron los conceptos que

permitieron expresar de forma lógica las proporciones simples, compuestas y con
cuantificadores mediante el uso de los conectores lógicos y la aplicación de las tablas de
verdad.

En desarrollo de este tipo de ejercicio contribuye a finalizar los procesos de

argumentación y deducción proporcionando una actitud crítica frente a la realidad;
ayudando a desarrollar la inteligencia lógica matemática. Necesaria en el desempeño
profesional.
 REFERENCIAS BIBLIOGRÁFICAS

 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

 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

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

de proposiciones, [Vídeo]. Recuperado

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