PENSAMIENTO LOGICO MATEMATICO

200611_1178

DINAIRA DE LEON ANDRADE

1079.655.630
UNIVERSIDAD ABIERTA Y A DISTANCIA (UNAD)

TUTORA

YENNY MARISOL CAYACHOA

FACULTAD DE CIENCIAS SOCIALES, ARTE Y HUMANIDADES

PROGRAMA DE PSICOLOGÍA

CHIBOLO-MAGDALENA

2019
 INTRODUCCIÓN

Mediante este trabajo podrán encontrar lo que es el cuantificador universal afirmativo y una seria

de ejemplos para tener más claridad del tema, donde se pudo conocer los enunciados

cuantificados o expresiones lógicas y la propiedad o función que cumplen cada uno ellos.

De la misma manera podremos ver tablas de verdad las cuales muestran el valor de la realidad de

una proposición, para cada combinación de valores de verdad que se logre asignar a sus

componentes.
 OBJETIVOS

 comprender los conceptos fundamentales de la lógica proposicional y aplicarlos para la

resolución de problemas

 Utilizar los símbolos básicos empleados en lógica.

 Interpretar expresiones

 Desarrollar competencias para realizar un buen lenguaje simbólico

 Desarrollar las capacidades analíticas y de abstracción, la intuición y el

pensamiento lógico y riguroso a través del estudio de la Matemática

Ejercicio 1: Conceptualización de Cuantificadores
 Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario
o Si ella no lo lleva al concesionario entonces, lo lleva taller de Fernando

Definir las proposiciones simples del argumento.

Proposiciones simples

P: el vehículo de Gabriela necesita mantenimiento

q: lo lleva al concesionario

r: lo lleva al taller de Fernando

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

p→q: si el vehículo de Gabriela necesita mantenimiento entonces ella lo lleva al concesionario.

┐q→r: si Ella no lo lleva al concesionario entonces, lo lleva al taller de Fernando

p→q v ┐q →r: si el vehículo de Gabriela necesita mantenimiento entonces ella lo lleva

concesionario o si ella no lo lleva al concesionario entonces, lo lleva al taller de Fernando

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 ~q (p→q) (~q→r) [(p→q) V (~q→r)]

V V V F V V V
V V F F V V V
V F V V F V V
V F F V F F F
F V V F V V V
F V F F V V V
F F V V V V V
F F F V V F V
El resultado de la tabla es CONTINGENCIA
Ejercicio 3: Problemas de aplicación

( p ∧q ) → ( r ⋀ s )

Definir las proposiciones simples

P: Diana es bailarina de la escuela del barrio

q: el Ballet tierra Colombiana recibe jóvenes de escasos recursos

r: Diana quiere ingresar al ballet tierra colombiana

s: Diana es admitida como estudiante del Ballet

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

Diana es bailarina de la escuela del barrio y el Ballet tierra Colombiana recibe jóvenes de

escasos recursos, Diana quiere ingresar al ballet y ella es admitida como estudiante del ballet.
Generar una tabla de verdad con el simulador Lógica UNAD
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

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 F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
El resultado del argumento es Contingencia
 CONCLUSIÓN

En conclusión, este trabajo fue fundamental realizarlo, porque a través de este pude fortalecer y

recordar lo aprendido durante la secundaria, como las expresiones lógicas, comprender las

nociones esenciales de la lógica proposicional para aplicarlos en la resolución de problemas,

garantizándonos todos los conocimientos previos para la formación de un buen estudiante,

creando tablas de verdad a partir del lenguaje simbólico. Esta inteligencia así como todas las

demás son muy importante para el desarrollo del ser humano, la lógica se encuentra en nuestro

entorno en cualquier momento y situación que se nos presente.

 REFERENCIAS BIBLIOGRAFICAS

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

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

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

Lógica Matemática 2013 (II).Cuantificadores y Proposiciones Categóricas http://logica-

unad.blogspot.com/p/capitulo-3-cuantificadores-y.html
http://docencia.udea.edu.co/cen/semillero/pdfs/semi11/B2Logica.pdf