Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Sociales, Artes y Humanidades

Psicología

Pensamiento lógico matemático

Título del documento (Preposiciones y tabla de la verdad)

Presentado por: Jesús David Pérez Rangel

Cód. 108517641

Celular No. 3157288095

Número de grupo:

200611_1100

Tutor

Carlos Alberto Bocanegra

17/09/2019

Centro al que se ha matriculado (CEAD Santa Marta)

Ciudad: Santa Marta Magdalena

 Introducción

Este trabajo se encuentra caracterizado por tres fases, que permite denotar el desarrollo

plasmado, para una rigurosa comprensión, y un aprendizaje, en este proceso, unas de las

primeras fases es conceptualización de cuantificadores, seguido del ejercicio 2 basado en

proposiciones y tabla de la verdad, finalizado con el ejercicio 3 problemas de aplicación, a

continuación se puede apreciar estos ejercicios de manera clara y resueltos.

Ejercicio 1: Conceptualización de Cuantificadores

Cuantificador universal negativo

 Ejercicio 2: Proposiciones y Tablas de verdad

Numeral B

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.

• Definir las proposiciones simples del argumento

p: El arcoíris se forma con muchos colores

q: el agua de lluvia interactúa con los rayos de luz solar

r: si el sol está detrás de las nubes

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

(p  q) v (r  - p)
• Generar una tabla de verdad con el simulador Lógica UNAD
 • 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) (pq) v (r  -p)

v v v f v f v

v v f f v v v

v f v f f f f

v f f f f v v

f v v v f v v

f v f v f v v

f f v v v v v

f f f v v v v
Ejercicios 3: Problemas de aplicación

B. (𝒑 → 𝒒) ∧ (𝒓 ⋀ 𝒔)

Definir las preposiciones simples

p: si saco un buen puntaje en mis actividades

q: mantendré mi promedio
r: sostendré mi beca
s: cumpliré mis sueños

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

Si saco un buen puntaje en mis actividades, entonces mantendré mi promedio; y sostendré

mi beca y cumpliré mis sueños.

•Generar una tabla de verdad manualmente a partir del lenguaje simbólico

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 f v f

v f v f f f f

v f f v f f f

v f f f f 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 v v v

f f v f v f f

f f f v v f f

f f f f v f f
Conclusión

En el recorrido de esta actividad, trata de profundizar el conocimiento dado al pensamiento

en ejercer la capacidad de tomar decisiones y tener veracidad de lo que se plantea, así

determinar una respuesta de mayor sentido.

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=322645

7&tm=1529246259924

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=31997

01&tm=1529335849013

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=3199

701&tm=1529510366591

Tablas de verdad

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