PROPOSICIONES Y TABLA DE VERDAD

SILVIA PAOLA OJEDA RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO Y MATEMÁTICO
BUCARAMANGA
2019
 INTRODUCCIÓN

Cuando se habla de cuantificadores en términos de Lógica, Teoría de Conjuntos o Matemáticas en

general, se hace referencia a aquellos símbolos que se utilizan para indicar cantidad en una proposición,
es decir, permiten establecer “cuántos” elementos de un conjunto determinado, cumplen con cierta
propiedad, a partir de este trabajo se permite aclarar muchas dudas e indagar mucho más sobre el
tema.
 OBJETIVOS

Generales:

 Conocer en la lógica proposicional qué son los cuantificadores.

Específicos:

 Identificar qué es un cuantificador.

 Hacer uso de las tablas de verdad y de los cuantificadores de acuerdo a los ejercicios
propuestos.
SOLUCIÓN EJERCICIO 1.
SOLUCION EJERCICIO 2.

B. Aprender matemáticas desarrollar el razonamiento lógico, si y solo si se posee una buena

comprensión lectora y buena ortografía.

 Definir las proposiciones simples del argumento:

P= Aprender matemáticas desarrolla el razonamiento lógico.

Q=Posee buena comprensión lectora.

R= Posee buena ortografía.

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

P ↔ (Q c R)

 Generar una tabla de verdad con el simulador de la UNAD.

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

P Q
V V
V V
V F
V F
F V
F V
F F
F F
R P↔(Q ꓥ R)
V V
F F
V F
F F
V F
F V
V V
F V

 A partir de los resultados obtenidos de la tabla se puede concluir que se trata de una
contingencia, ya que el resultado de la verdad puede ser verdadero o falso.

SOLUCION EJERCICIO 3.

B. (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)
 Definir las proposiciones simples:
 P= Yo trabajo todos los días.
Q= Yo voy al gimnasio de lunes a sábado.
R= Yo estudio inglés.

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

Si yo no trabajo todos los días, entonces yo voy al gimnasio de lunes a sábado. Yo voy al
gimnasio de lunes a sábado o yo estudio inglés.

 Realizar una tabla de verdad con el simulador lógico de la UNAD.

 Realizar una tabla a partir del lenguaje simbólico.

P Q R ~P (~P→Q) (R v Q) (~P→Q)ꓥ(R v Q)
V V V F V V V
V V F F V V V
V F V F V V V
V F F F V F F
F V V V V F F
F V F V V V V
 F F V V F V F
F F F V F F F

Se puede concluir que se trata de una contingencia, ya que el valor de verdad puede ser falso o
verdadero.
 CONCLUSIÓN

 Gracias a esta actividad se pudo aclarar muchas dudas y aprender más sobre este tema.
 Con este trabajo se logra hacer uso de la tabla de verdad y concluir a partir de esta el valor de
verdad de una preposición compuesta.
 Con el ejercicio propuesto se logra la interacción del grupo con el fin de debatir y dar diferentes
soluciones a distintos problemas.
 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.
 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