Pensamiento lógico y matemático

Elizabet Arias Galeano

Curso (200611A-615)

Tutor

ALEXIS TRUJILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA SOCIALES, ARTES Y HUMANIDADES
PSICOLOGÍA:
PEREIRA-RISARALDA
2019
 Introducción

En el presente trabajo se realiza un análisis en cada uno de los ejercicios desarrollados, es

completamente sustancial para el buen desempeño cognitivo de los individuos, teniendo

presente que este permite identificar de una manera más lógica cada aspecto invariable de las

proposiciones y los problemas que se llevan en vida cotidiana, nos permite comprender cada

factor de la lógica matemática. Este permite conocer cada idea y argumenta cada conducta y

pensamiento de nosotros los seres humanos, por lo cual el desempeño que se logra por este

curso, conlleva a distinguir y diferenciar cada función básica del mismo.

Es realizo específicamente para el curso de pensamiento lógico matemático, el archivo se puede

decir que contiene todos los puntos asignados en la guía, cumpliendo al igual con los puntos

expuestos en la rúbrica (introducción, objetivos, el desarrollo de los tres ejercicios propuestos,

las conclusiones y la referencias bibliografías).

 Objetivos

 Generar un desarrollo de las diferentes metodologías y herramientas que se ven expuestas

en las proposiciones y la tabla de la verdad, para generar una mejor destreza en cada

planteamiento lógico.

 Exponer y entender de una manera concreta y lógica las proposiciones simples y

compuestas.

 Clasificar cada estructura de las proposiciones y lo que las complementa.

 Saber definir de la tabla de la verdad seguida del lenguaje simbólico.

 Aprender a definir si el resultado obtenido de la tabla de la verdad (tautología,

contingencia o contradicción)
1. Conceptualización de Cuantificadores

https://www.canva.com/design/DADmXDmQtQY/GrxKtNr-3UDxOyxZz-

C1VQ/view?utm_content=DADmXDmQtQY&utm_campaign=designshare&utm_m

edium=link&utm_source=publishsharelink

2. Ejercicio 2: Proposiciones y Tablas de verdad

B. El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los

rayos de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con

muchos colores.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes

ítems:

 Definir las proposiciones simples del argumento.

“Las proposiciones simples son aquellas donde no es posible encontrar otras

proposiciones.” (Cardona,2010, p.14)

p: El arcoíris se forma con muchos colores.

Q: Sólo si el agua de lluvia interactúa con los rayos de luz solar

r: Sol está detrás de las nubes

p: El arcoíris se forma con muchos colores

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

[(p ↔q)] ⅴ [r → (¬p)]

 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)

Imagen 1.

• 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 ¬p [ ( p ↔ q )] ⅴ [ r → (¬p) ]

V V V F V V V V V F F
V V F F V V V V F V F
V F V F V F F F V F F
V F F F V F F V F V F
F V V V F F V V V V V
F V F V F F V V F V V
f F V V F V F V V V V
F F F V F V F V F V V

Resultado: Contingencia.

3. Ejercicio 3: Problemas de aplicación

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

 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= Elizabet trabaja en un Call Center

q=Se destaca por su labor en la empresa

r=Presenta semillero para ascender al cargo de formadora

s=Pasa todos los filtros, aprueba el ascenso.

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.
Si Elizabet trabaja en un Call Center entonces se destaca por su labor en la

empresa y presenta semillero para ascender al cargo de formadora y pasa

todos los filtros, aprueba el ascenso.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir

del lenguaje simbólico.
 Imagen 2.

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

P q r s (𝑝 → 𝑞) ∧ (𝑟 ⋀ 𝑠)
V V V V V V V V V V V
V V V F V V V F V F F
V V F V V V V F F F V
V V F F V V V F F F F
V F V V V F F F V V V
V F V F V F F F V F F
V F F V V F F F F F V
V F F F V F F F F F F
F V V V F V V V V V V
F V V F F V V F V F F
F V F V F V V F F F V
F V F F F V V F F F F
F F V V F V F V V V V
F F V F F V F F V F F
F F F V F V F F F F V
F F F F F V F F F F F
 Conclusiones

Podemos concluir que con este trabajo desarrollado, se obtiene un conocimiento que es

sustancial para el inicio del corso de lógica matemática, se adquirió un intelecto más

amplio respecto a los respecto a los cuantificadores, proposiciones y sus remas. Se

conocen temas nuevos como la compresión y realización de tablas de la verdad al igual

que su clasificación según los resultados.

Todo este trabajo es desarrollado con las herramientas que nos brindan las TIC, con el fin

de crear un mayor conocimiento que es útil no solo para este curso sino para otros, al

igual que para futuros trabajos.

 Bibliografía

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

&tm=1529335849013

Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de: http://logicaunad.com/jtruth/