2

Lógica Proposicional II
PROPOSICIONES LÓGICA EQUIVA- c. Ley asociativa
LENTE
(p 0 q) 0 r / p 0 (q 0 r)
Son aquellas que poseen tablas de verdad equivalentes ( p / q) / r / p / ( q / r )
(iguales) siendo posible el uso de una de ellas por la
otra. Se denotan d. Ley distributiva
p≡q
p / (q 0 r ) / (p / q ) 0 (p / r )
Ejemplo:
a : ( p " q) p 0 ( q / r ) / ( p 0 q ) / (p 0 r )
b: + q " + p
e. Ley de la doble negación
+ (+ p) / p

f. Ley de identidad
p 0 V / V; p 0 F = p

p / V / p; p / F = F

Se puede decir también que dos proposiciones son g. Leyes de complemento

lógicamente equivalentes cuando la proposición p 0+ p = V

bicondicional que las vincula es una tautología, es p /+ p = F
decir si:
(p & q) " (p / q) h. Ley de la condicional
1 44 2 44 3
Ley log ica p " q =+ p 0 q

LEYES DE ÁLGEBRA PROPOSICIONAL i. Ley de la bicondicional

Son equivalencias lógicas que nos permiten reducir P ) q / (p " q) / (q " p)
esquemas moleculares complejos y expresarlos en p ) q / (p / q ) 0 ( + p / + q )
forma más sencilla. Las demostraciones de dichas
p ) q /+ (pTq)
leyes se hacen construyendo la tabla de verdad en
cada caso.
j. Ley de absorción
PRINCIPALES LEYES p 0 (p / q) = p
p / (p 0 q) = p
a. Ley de idempotencia
p 0 (+ p / q) = p 0 q
p0p / p p / (+ p 0 q) = p / q

p/p / p

b. Ley conmutativa k. Leyes de Morgan

p0q / q0p + (p 0 q) = + p / + q

p/q / q/p + (p / q) = + p 0 + q

2 ARITMÉTICA 10
LÓGICA PROPOSICIONAL II 5.o año

TRANSPOSICIÓN Simbología: p→q

q→r
p " q =+ q "+ p p→r
Conclusión:
Ejemplo: Se lee: Si estudias, entonces serás profesional.
Si Pedro toca guitarra, entonces canta.
CIRCUITOS LÓGICOS
p : Pedro toca guitarra.
Un circuito conmutador puede estar solamente en
q : Pedro canta. dos estados estables: cerrado o abierto, así como una
proposición puede ser verdadera o falsa, entonces
Simbología: p → q podemos representar una proposición utilizando un
circuito lógico:
Su equivalente: ~q → ~p
1. Circuito serie:
Se lee: Si Pedro no canta, entonces no toca guitarra.
Dos interruptores conecta dos en serie represen-
tan una conjunción.
TRANSITIVIDAD
Si p " q y q " r
<>p∧q
entonces: p " r
2. Circuito Paralelo:
Dos interruptores conectados en paralelo repre-
Ejemplos:
sentan una disyunción.
ZZ Si estudias, entonces ingresarás.
ZZ Si ingresas, entonces serás profesional.
p: Estudias.
q: Ingresarás.
r: Serás profesional. <>p∨q

Trabajando en clase

Integral Resolución:
• Ley del condicional
1. Simplifica el siguiente esquema.
+ [+ (+ p 0 q) " p] 0 q ∼(+ p / q) 0 (q " p)

p 0+ q 0+ q 0 p
2. ¿A qué formula molecular equivale el siguiente
• Ley de idempotencia
circuito?
(p 0 p) 0 (+ q 0 + q)
S
p ∨ ~q
• Ley de Morgan
+ (+ p / q)

3. Determina el equivalente de: No es el caso que 5. Simplifica el siguiente esquema:

José es ingeniero y no haya estudiado en la uni- [(+ p / q) " (+ s / s)] / + q
versidad.
6. Simplifica el esquema.
[(p / + q) / (q " p) / r] 0 p
PUCP
4. Simplifica el siguiente esquema: 7. Realiza el circuito del siguiente esquema molecu-
(+ p / q) " (q " p) lar
[(p / + q) 0 + p] 0 q

11 ARITMÉTICA 2
5.o año LÓGICA PROPOSICIONAL II

UNMSM UNI
8. Señala el equivalente de: 12. Señala el circuito equivalente a la proposición
Si Miguel va a la fiesta, entonces realizó su tra- [(p → q) → p] ∧ [~p → (~p → q)]
bajo. Resolución:
Resolución: [(p → q) → p] ∧ [~p → (~p → q)]
14243
p = Miguel va a la fiesta.
[(~p ∨ q) → p] ~(~p) ∨ (~p → q)]
q = Miguel realizó su trabajo 144424443
(p " q) /+ p 0 q ~(~p ∨ q) ∨ p p ∨ (~p → q)
Miguel no va a la fiesta o realizó su trabajo. 144424443 14 2 4 3
(p ∨ ~q) p ∨ ~(~p) ∨ q
144424443 144424443
9. Señala el equivalente de: p p ∨ (p ∨ q)
No es el caso que Pilar no sea escritora y no sepa (p ∨ q)
los signos de puntuación. p ∧ (p ∨ q) ≡ p
4p4
10. De las siguientes proposiciones:
a) Si te esfuerzas, entonces serás titular en el 13. Señala el circuito equivalente a la proposición
equipo de fútbol. {∼(p ∩ q) ∧ [(p ∧ q) ∨ r]} ∧ ∼q
b) Si no eres titular en el equipo de fútbol enton-
ces no te esfuerzas. 14. Indique la fórmula que representa el siguiente cir-
c) No te esfuerzas o serás titular en el equipo de cuito lógico:
fútbol. q
p
¿Cuáles son equivalentes entre si?
r
11. La negación de ∼r
“Hoy es viernes por lo tanto mañana es sábado”
es: s t

2 ARITMÉTICA 12