RAZONAMIENTO

MATEMÁTICO
LÓGICA
PROPOSICIONAL II
Objetivos
• Interpretación adecuada de los conectores lógicos en
situaciones cotidianas para la obtención de conclusiones
correctas.
• Comprender y aplicar correctamente las leyes de
la lógica proposicional para la simplificación
de proposiciones compuestas.
 Problemas Leyes del álgebra
contextualizados proposicional
 PROBLEMAS CONTEXTUALIZADOS
Conectivo proposicional Expresión en el lenguaje natural Símbolo

Primero recordemos lo estudiado en el capitulo No p.

No ocurre que p.
anterior: negación Es falso que p. ∼p
No es cierto que p...

p q pq pq p→q pq p∆q pyq

p pero q
conjunción p aunque q p∧q
V V V V V V F p, sin embargo, q
p, no obstante, q...
V F V F F F V O p o q o ambas cosas
disyunción débil Al menos p o q p∨q
F V V F V F V Como mínimo, p o q…
Si p, entonces, q
F F F F V V F p solo si q
q si p
condicional q es necesario para p p→q
Es importante conocer las expresiones en el lenguaje p es suficiente para q
natural que nos permitan reconocer el conector lógico a No p a menos que q...
emplear. p si y solo si q
Por tal motivo se presenta el siguiente cuadro con dicha bicondicional p equivale a q p↔q
p cuando y solo cuando q...
información:
O bien... o bien
disyunción fuerte O p o q, pero no ambas cosas pΔq
Aplicación 01: Resolución:
DISYUNCIÓN INCLUSIVA
Dadas las siguientes proposiciones Nos piden: La conclusión respecto al viaje.
verdaderas:
De las proposiciones:
I. Voy a la fiesta o estudio para mi
• Voy a la fiesta o estudio para mi examen ≡ V
examen.
II. Si no me voy de viaje entonces no F V
V
estudio para mi examen.
III. No voy a la fiesta.
• Si no me voy de viaje entonces no estudio para mi examen ≡ V
¿Qué se concluye respecto al viaje? F F
→ Condicional

A) No me voy de viaje. • No voy a la fiesta ≡ V

B) Me voy de viaje.
C) No me alcanza dinero para irme de V
viaje Es falso que no me voy de viaje ≡ Me voy de viaje
D) Voy a la fiesta.
E) No voy a la fiesta Se concluye que: Me voy de viaje
Aplicación 02: Resolución:
Las siguientes proposiciones son Nos piden: Hallar las afirmaciones verdaderas.
verdaderas: Identificando los conectores lógicos: (hay dos casos)
- Juan estudia geometría o estudia
álgebra, pero no ambos. CASO 1 CASO 2
- Si Juan estudia geometría, entonces
Estudia Estudia Estudia Estudia
estudia álgebra. ≡V ≡V
geometría álgebra geometría álgebra
¿Cuáles de las siguientes afirmaciones
son verdaderas? V F F V
I. Juan estudia geometría.
II. Juan estudia álgebra. Estudia Estudia Estudia Estudia
geometría álgebra
≡V geometría álgebra
≡V
III. Juan estudia geometría y álgebra.
IV. Juan no estudia álgebra. V F F V
No cumple Si cumple
A) I, II y III B) solo I C) solo II
D) I y IV E) solo IV Finalmente: I. Juan estudia geometría. (F)
II. Juan estudia álgebra. (V)
III. Juan estudia geometría y a álgebra. (F)
IV. Juan no estudia álgebra. (F)
Verdadera: Solo II
Aplicación 03:
Dada las siguientes proposiciones
verdaderas:
I. Carla estudia derecho o trabaja.
II. Si Alberto estudia ingeniería,
entonces Benito estudia medicina.
III. Si Carla estudia derecho, entonces
Benito no estudia medicina.
¿Qué consecuencia origina el hecho de
que Carla no trabaja?
A) Alberto no estudia ingeniería.
B) Carla no estudia derecho.
C) Benito estudia medicina.
D) Alberto estudia ingeniería.
E) Benito estudia derecho.
Resolución:
Nos piden: La consecuencia de que Carla no trabaja.
Dato: Carla no trabaja.
V
I. Carla estudia derecho o trabaja. ≡ V
V v F
II. Si Alberto estudia ingeniería, entonces Benito estudia medicina. ≡ V
F F
III. Si Carla estudia derecho , entonces Benito no estudia medicina. ≡ V
V V
Conclusión: Alberto no estudia ingeniería
 Problemas Leyes del álgebra
contextualizados proposicional
 LEYES DEL ÁLGEBRA PROPOSICIONAL
Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla.
Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso.
1. Idempotencia 5. Involutiva o doble negación 9. De absorción
pp≡p (p)≡ p p  (p  q) ≡ p
pp≡p p  (p  q) ≡ p
6. Del complemento
p  (~ p  q) ≡ p  q
2. Conmutativa p  ~p ≡ F
p  (~ p  q) ≡ p  q
pq≡qp p  ~p ≡ V
pq≡qp
pq≡qp 7. Identidad 10. De la condicional
pV≡p p → q ≡ ~p  q
3. Asociativa pF≡F p → q ≡ ~q → ~p
p(qr)≡(pq) r pV≡V
p(qr)≡(pq)r pF≡p 11. De la bicondicional
p q≡(p→q)(q→p)
4. Distributiva 8. De D´Morgan p  q ≡( p  q )  (~p  ~q )
p(qr)≡(pq)(pr) ~ (p  q) ≡ ~ p  ~ q
p(qr)≡(pq)(pr) ~ (p  q) ≡ ~ p  ~q
Aplicación 04:
Mañana lunes, José tiene que ir a su
primer día de clases en la academia. La
noche anterior, su hermana María le
dice:
• Si te levantas temprano, llegas
temprano.
• El profesor te saluda si llegas
temprano.
Se concluye que
A) No te levantas temprano o el
profesor te saluda.
B) No es cierto que el profesor te salude
y llegues temprano.
C) Si llegas tarde el profesor te saluda.
D) el profesor te saluda y no llegas
temprano.
E) Te levantas temprano o el profesor te
saluda.
Resolución:
Nos piden: La conclusión correcta. 𝑆𝑖 𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑞
𝑆𝑖 𝑞 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑟
De las premisas dadas:
𝑃𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜: 𝑆𝑖 𝑝 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑟
Si p entonces q
• Si te levantas temprano, llegas temprano. Si p, q 𝑝→𝑞
q si p
p q
• El profesor te saluda si llegas temprano.
𝑝 → 𝑟 ≡ ~𝑝 ∨ 𝑟
≡ Si llegas temprano, el profesor te saluda
q r
Por lo tanto: Si te levantas temprano entonces el profesor te saluda.
p r
≡ No te levantas temprano o el profesor te saluda
Se concluye que: No te levantas temprano o el profesor te saluda.
Aplicación 05: Resolución:
Simplifique Nos piden: La simplificación de la proposición compuesta.
[ (~p → q)  q]  [ (p → q)  q ]
[(~p → q)  q ]  [( p→ q)  q ]

A) p B) q C) p  q D) ~p
Por [( p  q )  q]  [ ( ~ p  q )  q ] Por
condicional condicional
Por Por
absorción q  (~p q)
idempotencia
q  (q ~p)
Por
q absorción

Luego de simplificar resulta: q

Aplicación 06: Resolución:
Simplifique el siguiente esquema Nos piden: La simplificación del esquema molecular.
molecular
[ (~p  q) → (r  ~r ) ]  ~q [ (~p  q ) → ( r  ~r ) ]  ~q
Por
condicional ~ ( ~ p  q )  ( r  ~ r )
A) q
Por Por
B) p Morgan ( p  ~q)  F complemento
C) ~q
D) ~p Por
identidad ( p  ~q )  ~ q
e) p  q
Por
~ q
absorción

Luego de simplificar resulta: ~ q

w w w.academiacesar vallejo.edu.pe