LÓGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES

COMPUESTAS.

NEY JOSÉ TRIANA HERNÁNDEZ

UNIVERSISDAD NACIONAL ABIERTA Y A DISTANCIA

CENTRO CCVA CÚCUTA, NORTE DE SANTANDER
PENSAMIENTO LOGICO Y MATEMÁTICO
2019
 INTRODUCCION

El pensamiento lógico y matemático es la lógica formal que estudia los procesos que se
llevan a cabo cuando establecemos relaciones mediante las expresiones con las cuales
nos comunicamos. En este trabajo se dan a conocer desde los conceptos más básicos
empezando por la lógica proporcional, el cálculo proporcional y el cálculo de predicados
centrándonos ampliamente en el tema de los cuantificadores y sus formas y de cómo se
relacionan entre si para dar soluciones a un sistema de expresiones que finalmente trata
de la forma en como nos comunicamos entre nosotros.
 OBJETIVO

Relacionarse con los elementos fundamentales de la lógica proporcional.

 TABLA DE CONTENIDO

INTRODUCCION
EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES
EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD
EJERCICIO 3: PROBLEMAS DE APLICACIÓN
 LÓGICA PROPOSICIONAL, TABLAS DE VERDAD EN PROPOSICIONES
COMPUESTAS.

EJERCICIO 1

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.

Los temas propuestos son:

• A. Cuantificador Universal Afirmativo.

• B. Cuantificador Universal negativo.
• C. Cuantificador Existencial.
• D. Cuantificador Existencial Único.
• E. Equivalencias entre cuantificadores.

La selección del tema que se eligió fue el de las Equivalencias Entre Cuantificadores el
cual se puede observar al final de este trabajo en el anexo 1.

EJERCICIO 2

Una vez realizadas las lecturas correspondientes, desarrolle el ejercicio propuesto.

Argumentos para el desarrollo del ejercicio 2:

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

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.

C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una

empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa
entonces escribirá poemas.

E. PlayStation es una consola si y sólo si es usada como un reproductor de Blue Ray y para
jugar juegos de video.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
o Se selección el argumento A, con lo cual se definen las proposiciones de la siguiente
manera:
p: el vehículo necesita mantenimiento
q: lo lleva al concesionario
r: lo lleva al taller de Fernando

o Lenguaje simbólico: ((p → q) v ¬ q) → r

o Tabla de verdad manual:

p q r ¬q (p → q) (p → q) v ¬ q ((p → q) v ¬ q) → r
V V V F V V V
V V F F V V F
V F V V F V V
V F F V F V F
F V V F V V V
F V F F V V F
F F V V V V V
F F F V V V F

Se puede deducir por la tabla de verdad que el resultado es una contingencia ya que para
que fuera determinada tautología debería tener todas las respuestas verdaderas o
afirmativas o si fuera una contingencia debería tener todas respuestas negadas o falsas y
como no es ninguno de los dos casos se considera una contingencia ya que la proposición
puede tomar un valor tanto verdadero como falso.

o Tabla de verdad simulador UNAD:

EJERCICIO 3
Descripción del ejercicio:
A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)
para el desarrollo del ejercicio 3:

A. (𝑝∧𝑞) → (𝑟 ⋀ 𝑠)
B. (𝑝→𝑞) ∧ (𝑟 ⋀ 𝑠)
C. [(𝑝 ⋁𝑞) ⟷𝑟]

D. (𝑝 ⋁𝑞) ⋀ (𝑞 ⟶ (𝑟 ⋀𝑠))
E. [(𝑝 ⋀ 𝑞) ⟶∨𝑠) ⟶~𝑟]

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

o Se selección la proposición D para llevar a cabo su realización.

o Proposiciones: p: Terminar trabajos

q: Ir al Gym
r: descansar
s: comer bien

o Lenguaje natural: (𝑝 ⋁𝑞) ⋀ (𝑞 ⟶ (𝑟 ⋀𝑠))

“Necesito terminar los trabajos de la UNAD o ir al Gym y ir al Gym si descanso y como

bien”.
o Tabla de verdad manual: (𝑝 ⋁𝑞) ⋀ (𝑞 ⟶ (𝑟 ⋀ 𝑠))
𝑝 𝑞 𝑟 𝑠 (𝑝 ⋁𝑞) (𝑟 ⋀ 𝑠) (𝑞 ⟶ (𝑟 ⋀𝑠) (𝑝 ⋁𝑞) ⋀ (𝑞 ⟶ (𝑟 ⋀𝑠))
V V V V V V V V
V V V F V F F F
V V F V V F F F
V V F F V F F F
V F V V V V V V
V F V F V F V V
V F F V V F V V
V F F F V F V V
F V V V V V V V
F V V F V F F F
F V F V V F F F
F V F F V F F F
F F V V F V V F
F F V F F F V F
F F F V F F V F
F F F F F F V F

o Tabla de verdad simulador UNAD:

 CONCLUSION
Dentro del pensamiento lógico pudimos ver claramente como la lógica de proposiciones a
través de sus sistemas y formas de representar simbólicamente las proposiciones se puede
encontrar su valor lógico, por medio de las tablas de verdad y las reglas de inferencia.
 BIBLIOGRAFIA

WEBGRAFIA

https://es.wikipedia.org/wiki/Cuantificador
https://campus08.unad.edu.co/ecbti55/mod/page/view.php?id=1768
https://www.youtube.com/watch?v=BCeSp_wxtwg
 ANEXOS

ANEXO 1