PENSAMIENTO LÓGICO MATEMÁTICO

Estudiante
Lizeth Dayanna Galviz Barón
Grupo No. 1332

Tutor
YADY MILENA CAMACHO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Duitama, Boyacá. Febrero 2019
 INTRODUCCIÓN

El presente trabajo trata sobre la lógica proposicional, la cual es una rama de la matemática que

estudia proposiciones, afirmaciones y oraciones, el presente trabajo se enfoca específicamente en

la lógica proposicional donde se incluyen las proposiciones, en determinar si ciertas oraciones son

falsas o verdaderas, se determinara por medio de tablas de verdad. El trabajo también trata sobre

los tipos de cuantificadores, los cuales son expresiones que indican cantidad de veces que un

predicado o propiedad pertenece o equivale. En el material de estudio nos enfocamos en algunos

cuantificadores como cuantificador universal afirmativo, cuantificador universal negativo,

cuantificador existencial. cuantificador existencial único y equivalencias entre cuantificadores.

OBJETIVOS:

1. Dar a conocer la temática relacionada con la lógica proposicional y tipos de cuantificadores

2. Desarrollar por medio de simuladores tablas de verdad

3. Aprender el método de realización de las tablas de verdad partiendo de un lenguaje

simbólico

4. Por medio de lenguajes naturales sacar proposiciones simples y llevarlas a un lenguaje

simbólico.
Ejercicio 1: Conceptualización de cuantificadores

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

 Ejercicio 2: Proposiciones y tablas de verdad

Pereira es el nombre de una ciudad o Pereira es un apellido, entonces Pereira es un

sustantivo

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

 Definir las proposiciones simples del argumento.

P: Pereira es el nombre de una ciudad

Q: Pereira es un apellido

R: Pereira es un sustantivo

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

(pvq)➝r

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

 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 pvq r (pvq)➝r

V V V V V

V V V F F

V F V V V

V F V F F

F V V V V

1
http://logicaunad.com/jtruth/resolver.php
 F V V F F

F F F V V

F F F F V

RESULTADO: Contingencia.

Ejercicio 3: problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

C. (𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

 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: pasaré el semestre

Q: pierdo materias

R: las inscribo el próximo semestre.

 Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante

Pasaré el semestre si y solo si no pierdo materias o pierdo materias y las inscribo el próximo

semestre.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico

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

foto del desarrollo manual).

(𝑝 ↔ ¬𝑞) ∨ (𝑞 ∧ 𝑟)

2
http://logicaunad.com/jtruth/resolver.php
 (𝑝 ↔ ¬𝑞)
p q r ¬q 𝑝 ↔ ¬𝑞 𝑞∧𝑟
∨ (𝑞 ∧ 𝑟)

V V V F F V V

V V F F F F F

V F V V V F V

V F F V V F V

F V V F V V V

F V F F V F V

F F V V F F F

F F F V F F F

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

contingencia

RESULTADO: contingencia.
 CONCLUSIONES:

 Tanto el desarrollo como el material de estudio fueron muy claros

 Aprendí sobre los diferentes tipos de cuantificadores, la simbología de estos y la forma como

se aplican a una oración.

 Aprendí sobre las tablas de verdad, como calcular si el resultado es contingencia, tautología o

contradicción.

 Saber cómo pasar un lenguaje natural a lenguaje simbólico.

REFERENCIAS

Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado de:

http://logicaunad.com/jtruth/