LÓGICA

PROPOSICIONAL
FACTOR EXCELENCIA

APTITUD MATEMÁTICA SEMANA: 4

 LOGROS DE LA SESIÓN
➢ Cita las leyes de las equivalencias lógicas, haciendo uso de la
tabla general de verdad.
➢ Asocia proposiciones del lenguaje verbal o escrito con el
lenguaje simbólico mediante el uso de los conectivos lógicos.
➢ Resuelve ejercicios de proposiciones compuestas aplicando
correctamente los conectivos y leyes de equivalencias lógicas.
➢ Infiere el valor de verdad de las proposiciones simples a partir
del valor de verdad de una proposición compuesta.
 Demuéstrame que esta silla no existe

Un buen día, en un instituto “El buen saber”, en la ciudad de Lima, la profesora de filosofía cogió una silla, la
puso encima de la mesa y planteó el siguiente ejercicio:
“Con todas las herramientas filosóficas que han aprendido durante el curso, demuéstrenme que esta silla no existe”.

La clase sacó papel y bolígrafo y empezaron a intentar resolver el ejercicio. Algunos

alumnos hicieron grandes disquisiciones sobre la intrascendencia de lo material, o la
atomización de las ideas, o sobre el tránsito existencial del ser humano… sin embargo,
una alumna escribió una sencilla frase, puso su nombre en la hoja, la entregó a la
profesora y volvió tranquila a su pupitre. Al día siguiente, cuando la profesora hubo
corregido los ejercicios, felicitó a la alumna por haber obtenido la mejor puntuación
posible, ya que había demostrado de forma completa y eficiente que la silla no existía.
Cuando el resto de la clase, curiosa, preguntó por su respuesta, la alumna respondió…
¿Cuál puede haber sido la respuesta de la alumna?/
RUTA DE APRENDIZAJE
CONTENIDOS

Proposición Simplificación
Tablas de Proposiciones
y de
verdad equivalentes
enunciado proposiciones

LÓGICA PROPOSICIONAL
 LÓGICA PROPOSICIONAL
1. ENUNCIADO
Es toda oración o frase que se utiliza en el lenguaje común.

Ejemplo:
 La tierra es un planeta del sistema solar.
 𝑥 2 + 𝑦2 ≥ 9

2. PROPOSICIÓN LÓGICA
Es todo enunciado coherente que se caracteriza, necesariamente, por tener un valor veritativo:
verdadero (V) o falso (F) sin ambigüedad en el texto.
Las proposiciones, generalmente , se representan con letras minúsculas tales como p, q, r, s, t, …

Ejemplo:
 p: 9 es múltiplo de 3. (V)
 q: El cuadrado tiene 5 lados (F)
3. Para tener siempre en cuenta:
Las órdenes y mandatos, preguntas, refranes, exclamaciones, deseos no son proposiciones lógicas, ya
que no se pueden calificar de verdaderas (V) o falsas (F).

Ejemplo:

 ¿Ingresó José?
 ¡Lo logré!
 Que te vaya muy bien.
 Me molesta el tráfico de Lima.
 Al que madruga, Dios lo ayuda.
 Ya es tarde, ¡levántate!

Toda proposición es un enunciado, pero no todo

enunciado es una proposición.
EJERCICIO
De los siguientes enunciados:
I. La vacuna bivalente, debe llegar inmediatamente.
II. No es cierto que, un paciente asintomático del COVID 19 contagia a otras personas.
III. Luis estaba en cama ya que estuvo enfermo con una fiebre muy alta.
IV. Deseo ingresar lo más pronto posible.
V. ¿A qué hora llegará Antonio para ir al cine?
¿Cuál(les) son proposiciones lógicas? Resolución:

A. I y II
B. II y III
C. II, III y IV
D. I, IV y V
E. I, II y III
4. CONECTIVOS LÓGICOS
Llamados también operadores, son palabras o términos que enlazan proposiciones simples o cambian
el valor de verdad de una proposición.
Dadas las proposiciones p , q

SÍMBOLO OPERACIÓN LÓGICA ESQUEMA SIGNIFICADO

~ Negación ~p no p
˄ Conjunción p˄q pyq
Disyunción débil o
˅ inclusiva
p˅q poq
Disyunción fuerte o
∆ exclusiva
p∆ q opoq

→ Condicional p→q si p entonces q

↔ Bicondicional p↔ q p si y solo sí q
5. JERARQUIZACIÓN

Establece el correcto agrupamiento de las variables y los conectivos lógicos dentro de los signos de
colección.

Tener siempre presente que:

 Solo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo sí, etc.).
 Considerar a los signos de puntuación del enunciado, ya que ellos indican la ubicación de los signos
de colección.
 En un enunciado, el punto y seguido tiene mayor jerarquía; a continuación, le sigue el punto y coma
y, finalmente, la coma.
PARA TENER EN CUENTA

 Las palabras: “no”, “no es verdad que”, “es falso que”, “no ocurre que”, “no es el caso que”, etc.
equivalen al conectivo “ ~ ”

 Las palabras “pero”, “sin embargo”, “además”, “no obstante”, “aunque”, “a la vez”, “también”, etc.
equivalen al conectivo “∧”

 Las palabras “o”, “a no ser que”, “a menos que”, etc. equivalen al conectivo “∨”

 Las palabras “porque”, “puesto que”, “cuando”, “si”, “cada vez que”, etc. equivalen al conectivo
“→ ”

 Las palabras “cuando y solo cuando”, “entonces y solamente entonces”, etc. equivalen al
conectivo “↔”
6. TABLA GENERAL DE VERDAD

p q ~p p∧q p∨q p→q p∆q p↔q

V V F V V V F V
V F F F V F V F
F V V F V V V F
F F V F F V F V
PROPOSICIONES EQUIVALENTES NOTABLES
p → q ≡ ~q → ~p MORGAN
p → q ≡ ~p ∨ q
~ (p ∧ q) ≡ ~p ∨ ~q
p ⟷ q ≡ (p → q) ∧ (q → p)
~(p ∨ q) ≡ ~p ∧ ~q
p ⟷ q ≡ ~(p ∆ q)
p ⟷ q ≡ (p ∧ q) ∨ (~p ∧ ~q)
ABSORCIÓN ASOCIATIVA LEYES DE IDENTIDAD

p ∧ (p ∨ q) ≡ p (p ∨ q) ∨ r ≡ (p ∨ r) ∨ q p ∨ F ≡ p
p ∧ (~p ∨ q) ≡ p ∧ q p ∧ V ≡ p
p ∨ (p ∧ q) ≡ p IDEMPOTENCIA
p ∨ (~p ∧ q) ≡ p ∨ q DEL COMPLEMENTO
p ∨ p ≡ p
CONMUTATIVA p ∧ p ≡ p p ∧ ~p ≡ F (Contradicción)
p ∨ q ≡ q ∨ p p ∨ ~p ≡ V (Tautología)
LEYES DE DENOMINACIÓN
p ∧ q ≡ q ∧ p
DISTRIBUTIVA
p ∨ V ≡ V
p ∧ F ≡ F
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Ejercicio 1:
De los siguientes enunciados: Resolución:

I. 2 y 9 son números primos entre sí.

II. 2x +3 > 5 + x
III. 5/7 > 2/3
IV. x + 1 = 9

¿Cuáles son proposiciones lógicas?

A. I y II
B. II y III
C. II y V
D. I y III
E. I, II y V
Ejercicio 2:
Halle la matriz principal en la tabla de verdad de la siguiente proposición:
~(p  q) ∆ ~( ~q → p)
A. VVFF
B. VVFV Resolución:
C. VFFV
D. VFFF
E. FVVF
Ejercicio 3:
Al obtener la matriz principal en la tabla de verdad de la siguiente proposición :
∼{ [ ∼p ∧ ( p Δ q) ] ↔ ∼q }
Se obtiene una:
Resolución:
A. Tautología
B. Contradicción
C. Falsa
D, Contingencia
E. Incierta
Ejercicio 4:
Dada las proposiciones:
p: "Cayetana Grajera está con migraña“. q: "Cayetana Grajera está delgada".
r: "Cayetana Grajera come“.
Simbolice la proposición lógica:
Si Cayetana Grajera no come; entonces no es el caso que esté, con migraña o delgada
A. ~(p ∨ q) → ~r Resolución:
B. (p ∨ q) → r
C. ~r → ~ (p ∨ q)
D. r → (p ∨ q)
E. ~r → (~p ∧ q)
Ejercicio 5:
La siguiente proposición:
es falsa. Halle los valores de verdad de p, q, r y s respectivamente.
A. VVFF Resolución:
B. FVFV
C. VFVF
D. FFVV
E. VVFF
Ejercicio 6:

La siguiente proposición:
es verdadera. Halle los valores de verdad de p, q, r y s respectivamente.
A. FFFV Resolución:
B. FVFF
C. VVFF
D. VFVV
E. VFVF
Ejercicio 7:
Encuentre la equivalencia a la siguiente formula lógica:
∼(q ∧ ∼p) ∧ [∼(∼p) ∨ ∼q]
A. q∨∼p
B. p →q Resolución:
C. q→p
D. ∼q → p
E. p
Ejercicio 8:

Encuentre la equivalencia a la siguiente proposición lógica:

A. q ∨ ∼p Resolución:
B. ∼(p ∨ q)
C. ∼(p ∧ q)
D. ∼q → p
E. p
Ejercicio 9:
La siguiente proposición:
Faustina mejorará su puntaje en las prácticas, si practica a diario.
Es equivalente a:
A. Faustina mejora su puntaje en las prácticas o no practica a diario.
B. Faustina no mejora su puntaje en las prácticas y no practica a diario.
C. Faustina practica a diario o mejora su puntaje en las prácticas.
D. Faustina no practica a diario y no mejora su puntaje en las prácticas.
E. Si Faustina no practica a diario, entonces no mejorará su puntaje en las prácticas.

Resolución:
Ejercicio 10:
Si el esquema: ∼{ { [(p Δ q) ∧ r] → (s ↔ r)} ∨ { [(q → p) → ∼(t → s) ] }}

es verdadero, indique la secuencia correcta del valor de verdad o falsedad de cada una
de las siguientes proposiciones. Resolución:
I. (p ∨ q)
II. p→q
III. (r Δ s)

A. VFV
B. FVF
C. FFF
D. VVF
E. FFV
Ejercicio 11:
Dados los enunciados verdaderos: Resolución:
• Si no elijo A entonces elijo B
• No elijo D sí y solo sí no elijo E.
• O no elijo B o elijo C
• No elijo F o elijo E
• Elijo D y no elijo C
¿Cuáles de las ítems (letras) elijo necesariamente?

A. D, A, E
B. A, C, E
C. B, D, F
D. D, A, E, F
E. C, D, E y F
Ejercicio 12:
La proposición: No es cierto que, estudiemos y no aprobemos.

Tiene su equivalente en : Resolución:

A. Aprobamos y no estudiamos
B. Estudiamos o aprobamos
C. Estudiamos o no aprobamos
D. Aprobamos o no estudiamos
E. No aprobamos o no estudiamos
Ejercicio 13:
De las siguientes condicionales verdaderas: Resolución:

• No te gustan las verduras, si no eres vegano.

• Si no siembras zanahorias, no eres jardinero.
• Si te gusta sembrar zanahorias, te gustan las verduras.
• Serás jardinero, si te gustan las plantas.

Se deduce válidamente que:

A. Si te gustan las verduras, te gustan las plantas.

B. Si te gusta sembrar zanahorias, serás jardinero.
C. Te gustan las verduras, si eres vegano.
D. Si te gustan las plantas, eres vegano.
E. Si no eres jardinero, no eres jardinero.
 UN RETO PARA LA CASA

En una mesa hay tres sombreros negros y dos blancos. Tres señores en fila india se
colocan, cada una, un sombrero al azar sin mirar el color.

• Se le pregunta a la tercera de la fila, que puede ver el color del sombrero de la

segunda y de la primera, si puede decir el color de su sombrero, a lo que responde
negativamente.

• Se le pregunta a la segunda señora de la fila, que ve solo el sombrero de la primera, y

también responde negativamente.

Por último, la primera señora de la fila, que no ve ningún sombrero, consigue responder
acertadamente de qué color es su sombrero.
¿Cuál es este color y cuál es la lógica que utilizó para saberlo?

https://www.abc.es/juegos-logica/20141127/abci-resolver-juego-logica-sombrero-201411262251.html