Está en la página 1de 15

PENSAMIENTO LOGICO MATEMATICO

Estudiante
Claudia Patricia Quintero Gonzalez
Grupo No. 200611_444

Tutor
Javier Hernando León

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD


San Gil, Septiembre de 2019
Introducción

Todo lo que hacemos tiene implícita la lógica, en nuestra cotidianidad es


común decir tiene lógica, por lógica, es lógico, póngale lógica, etc.,
La lógica matemática trata la conceptualización e interpretación, los
métodos de razonamiento que nos permiten determinar validez de
argumentos a través del uso de técnica o reglas.

Si nos referimos a métodos de razonamiento existen herramientas que


proveen el ejercicio del discernimiento entre lo válido e inválido, en ética
diríamos lo mal y lo bueno, en fin de entender que todo es medible,
cuantificable nos muestra la lógica de la proposicional que se refiere a todo
lo el estudio de las proposiciones simples y compuesta y su correcta
relación entre sí; , la aplicabilidad de las tablas de verdades determinante
en la aplicación de la resolución de situaciones que a diario se nos
plantean y que demanda la necesidad de tomar decisiones, basadas en la
realidad y la verdad.
Objetivo

Plasmar el conocimiento teórico de manera practica en la realización de las


actividades propuestas que nos permitirán la conceptualización de
cuantificadores y la ejercitarnos sobre proposiciones simples y compuestas
su expresión, representación en lenguaje simbólico o formal y la adecuada
interpretación.
EJERCICIO 1

CONCEPTUALIZACIÓN DE CUANTIFICADORES

Descripción del Ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe

escoger uno de los siguientes temas y presentarlo de manera gráfica a

través de una presentación, utilizando un recurso didáctico tipo PREZI,

PowerPoint u otra herramienta digital. A partir del tema deberá dar su

definición y dos ejemplos.

E. Equivalencias entre Cuantificadores

¿Qué es un cuantificador?

Es una expresión que indica la cantidad de veces que un predicado o

propiedad p se satisface dentro de una determinada clase.

Tipos de Cuantificadores

 Cuantificador Universal
Todos los elementos de un conjunto cumplen con una propiedad.

 Cuantificador Existencial

Indica que hay uno o más elementos dentro del conjunto.

Tabla No.1

¿Cómo se representan?

Tabla No.2
Equivalencia entre cuantificadores

las proposiciones son cuantificadores (universales o existenciales),

pueden ser afirmativos o negativos.

se sabe que la verdad de una de ellas se sigue a la falsedad de su

contradictoria.

Si se niega cualquiera de ellas se obtiene una equivalencia.

Tabla No.3

Al intercambiar cuantificadores, también se cambia el cuantificador y su

signo.
Ejemplos

Tabla No.5

a). Algunos estudiantes de la UNAD tienen computador

Algunos estudiantes de la
ⱻ(x)(p(x)→q(x))
UNAD tienen computador

Es falso que todos los ~Ɐ(x)(p(x)→~q(x)

estudiantes de la UNAD

no tienen computador

Equivalencia
ⱻ(x)(p(x)→q(x))→ ~Ɐ(x)(p(x)^~q(x)

Tabla No.6
b). Todas las mujeres con trenzas tienen el cabello largo

Todas las mujeres con Ɐ(x)(p(x)→q(x)


trenzas tienen el cabello

largo

Es falso que todas las



~ (x)(p(x)→~q(x)
mujeres con trenzas no

tienen el cabello largo

Equivalencia
Ɐ(x)(p(x)→q(x))→ ~ⱻ(x)(p(x)^~q(x)

Tabla No.7

Link : https://prezi.com/p/vxfegciol3lt/equivalencia-entre-
cuantificadores/
Ejercicio 2

Proposiciones y Tablas de Verdad

E). Play Station en una consola si y solo si es usada como un reproductor de BlueRay y

para jugar juegos de video.

a. Proposiciones simples

p: Play Station en una consola

q: se usa como reproductor de BlueRay

r: es para jugar juegos de video

a. Expresión en lenguaje simbólico no formal

p ↔ (q ˄ r)
c. Simulador de Lógica UNAD

Tabla No.7
 Generar 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˄r p↔ q˄r

V V V V V

V V F F F

V F V F F

V F F F F

F V V V F

F V F F V

F F V F V

F F F F V
Tabla No.8

Esta proposición compuesta es una Contradicción por cuanto sus valores son
verdaderos y falsos.
EJERCICIO 3

Problemas de Aplicación

E. Definir las proposiciones simples, de la siguiente proposición

⌊(𝑝˄𝑞) → 𝑟⌋˄[~𝑞˅𝑠) → ~𝑟]

p: Oscar trabaja en la UNAD

q: La UNAD es una universidad pública

r: Oscar es un empleado estatal

s: trabaja en el sector privado

Tabla de verdad en el simulador Lógico de la UNAD


/
Tabla No.9

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

natural.

Si Oscar trabaja en la UNAD y la UNAD es una universidad pública y es

falso que la UNAD es una universidad pública o trabaja en el sector privado

entonces es falso que Oscar es un empleado estatal.


d. Generar 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 p˄q→r ~q˅s ~q˅s→ ~𝑟 ⌊(𝑝˄𝑞) → 𝑟⌋˄[~𝑞˅𝑠) → ~𝑟]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

F F F F V V V V F V V V V
Tabla No.10

Esta proposición compuesta es una CONTINGENCIA o CONTRADICCIÓN por

cuanto sus valores son verdaderos y falsos.


Conclusiones

La Aplicabilidad de la lógica matemática en nuestra vida es diaria,

constante y determinante, los grandes problemas se solucionan con la

adecuada aplicación de herramientas que nos ayudan a cuantificar los

pros y los contra, lo válido e inválido.

Los cuantifiadores determinan el valor o cantidad de veces que se repite

algo, la proposición entendida como un enunciado o declaración que

puede ser falso o verdadero pero no ambos a la vez.

Las tablas de verdad son la lectura de esas proposiciones y nos

permiten conocer si son tautologías (verdadera) o contradicción.


Bibliografía

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

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las

matemáticas universitarias. México: McGraw-Hill Interamericana.

Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docI

D=10473069

Rodríguez, S.P.B (2006).Matemáticas 9. (pp158-169). Editoral

Educativa, Bogotá.