EYES DE ÁLGEBRA PROPOSICIONA

PROPOSICIONES LÓGICA EQUIVA- LENTE c. Ley asociativa

(p 0 q) 0 r / p 0 (q
Son aquellas que poseen tablas de verdad 0 r) (p / q) / r / p
equivalentes (iguales) siendo posible el uso de una
/ (q / r)
de ellas por la otra. Se denotan
d. Ley distributiva

Ejemplo: pq
p / (q 0 r) / (p / q) 0 (p / r)
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 lógicamente equivalentes cuando la g. Leyes de complemento
proposición bicondicional que las vincula es una p0 +p=V
tautología, es decir si: p/ +p=F
(p & q)" (p / q) pp / q /
1
442443 q/p
Ley logica

LEYES DE Á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.

PRINCIPALES LEYES
a. Ley de idempotencia
p0p/ p
p/p/ p

b. Ley conmutativa
p0q/ q0
h. Ley de la condicional
p " q =+ p 0 q

i. Ley de la bicondicional
P ) q / (p " q) / (q " p)
p ) q / (p / q) 0 (+ p /
+ q) p ) q /+ (pTq)

j. Ley de absorción
p 0 (p / q) =
p p / (p 0 q)
=p
p 0 (+ p / q) = p 0
q p / (+ p 0 q) = p /
q

k. Leyes de Morgan
+ (p 0 q) =+ p / + q
=
+ (p / q) + p 0 + q
 TRANSPOSICIÓN Simbología: p 
q q
p " q =+ q "+ rp
r

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

Trabajando en clase

Integral Resolución:
1. Simplifica el siguiente esquema. • Ley del condicional
+ [+ (+ p 0 q) " p] 0 q (+ p / q) 0 (q "
p) p 0 + q 0 + q
2. ¿A qué formula molecular equivale el
0p
siguiente circuito?
• Ley de
idempotencia
(p 0 p) 0 (+ q 0 + q)
S
p  q
• Ley de Morgan
3. Determina el equivalente de: No es el caso
que José es ingeniero y no haya estudiado en + (+ p / q)
la uni- versidad.
5. Simplifica el siguiente esquema:
[(+ p / q) " (+ s / s)] / + q
PUCP
4. Simplifica el siguiente 6. Simplifica el esquema.
esquema: [(p / + q) / (q " p) / r] 0 p
(+ p / q) " (q " p)
7. Realiza el circuito del siguiente esquema molecu-
lar
[(p / + q) 0 + p] 0 q
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 [(p  q)  p]  [p  (p  q)]
tra- bajo. Resolución:
Resolución: [(p  q)  p]  [p  (p  q)]
p = Miguel va a la fiesta. 14243
q = Miguel realizó su trabajo [(p  q)  p] (p)  (p  q)]
144424443
(p " q) /+ p 0 q (p  q)  p p  (p  q)
Miguel no va a la fiesta o realizó su trabajo. 144424443 142 43
(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
(p  q)
sepa los signos de puntuación.
p  (p  q)  p
4p4
10. De las siguientes proposiciones:
a) Si te esfuerzas, entonces serás titular en 13. Señala el circuito equivalente a la proposición
el 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
c) No te esfuerzas o serás titular en el equipo cir- cuito lógico:
de fútbol. q
¿Cuáles son equivalentes entre si? p
r
11. La negación de r
“Hoy es viernes por lo tanto mañana es
sábado”
es: s t