Clase #3

Carlos va a la playa si solo si juan o Daniela lo acompaña

P=Carlos va a playa
Q=juan lo acompaña
R=Daniela lo acompaña
 No voy almorzar--- -p

Nuestra aula no esta el primer piso el docente tampoco se encuentra el piso

• LEYES DEL ALGEBRA DE PROPOSISIONES
• Las proposiciones, bajo la ley de equivalencia lógica (≡), cumplen las
siguientes leyes:
• Propiedad de IDEMPOTENCIA : si un elemento al multiplicarse por sí
mismo
≡ sucesivas veces da él mismo

p^p ≡ p En matemática y lógica, la idempotencia es la

propiedad para realizar una acción determinada
¬qv¬q ≡ ¬q varias veces y aun así conseguir el mismo
resultado que se obtendría si se realizase una
¬(p → r) ^ ¬(p → r) ≡ ¬(p → r) sola vez

∧∧
Ejercicios
a) p^p ≡ p
b) qvq ≡ q
c) ¬ r^ ¬ r ≡ ¬ r
d) ¬ tv ¬ t ≡ ¬ t
e) (p→q) ^ (p→q) ≡ (p→q)
f) (r ↔ ¬p)v (r ↔ ¬p) ≡ (r ↔ ¬p)
Leyes de Negación
r^¬r≡
qv¬q≡ Ley de negación
En y verdadero y falso es falso.
¬tVt≡ Negación en o un falso y verdadero es verdadero

¬v^v≡
(p↔q)^¬(p↔q) ≡
 Ejercicios
qv¬q≡

r^¬r≡

¬tVt≡

¬V^V≡

(p↔r) ^¬(p↔r) ≡
 Ley de doble Negación
¬(¬p) ≡p
¬[¬(pvq)] ≡pvq

[p^¬(¬q] ^¬q
[p^q] ^¬q Doble negación
p^[q^¬q] asociativa
p^F Negación
F identidad
[P^¬(¬q)] ^¬q

Ley de Ley de Identidad

Doble Negación Asociativa
Negación
 Propiedad ASOCIATIVAS Cuando dos conectores Lógicos son los mismo separados por
Solo se aplica con y u o paréntesis se puede aplicar la propiedad asociativa se aplica
con conjunción y disyunción.
Nos permite cambiar de lugar el paréntesis sin cambiar de
pv(pvr) lugar las proposición
(pvp)vr
Pvr idempotencia
p ^(q ^ r)
(p ^ q) ^ r
p v(¬ pvq)
(p v ¬ p) v q Propiedad asociativa
p v(¬ pvq) VVq Ley de negación
(p v ¬ p) v q V Ley de identidad
Vvq
 Ley de Identidad
r^F≡F
Cuando es falso en (^-y) r^v≡r Cuando es verdadero en (^-y)
Se agrega la letra
Se agrega falso
Vv¬q≡V
Caudno es (v-ó) se
Fv¬q≡¬q agrega la letra ¬tvV≡V
Cuando es (v-ó) se agrega
verdadero
¬tvF≡¬t
V^p≡p
F^p≡F
V^¬(t↔w) ≡¬(t↔w)
F^¬(t↔w) ≡F
r^F≡F r^v≡r

Fv¬q≡¬q ¬tvV≡V
 Simplifique la siguiente equivalencia a su mínima
expresión usando las ley correspondientes

1) q ^(¬ q ^ r)
2) p ^(p^q)
3) ¬rv(rvp)
4) ¬pv(¬pvq)
5) ¬t^(t^ ¬q)
 Conmutativa( cambio las

Ejercicios
letras de posición

[¬(¬q) ^p] ^p
¬(¬r) V(qv¬r)
w^[r^¬(¬w) ]
[pv¬(¬q) ]V¬(¬q)
(q^¬p) ^¬(¬p)
 Eejercicios Identidad
p^F≡ V^¬q≡

¬rvF≡ Vv¬p≡

(q→t) ^F ≡
t^V≡
qvV≡ Fv¬(u↔¬q) ≡

¬(qv¬t) ^V≡
F^¬t≡
Vv(t→p) ≡
Fvr≡
 Leyes de Absorción
Cuando la proposición fuera del
Pv(q^p) ≡p paréntesis es igual a una de las
proposiciones se aplica la ley de
absorción
P^ (qvp) ≡p
 Leyes de absorción
qV(q^¬r) ≡
¬t^(qV¬t) ≡
(t^¬p)V¬p≡¬p
t^[tv¬(p↔q)] ≡
nV(n^¬t) ≡
w^¬q)v¬q≡
(q^¬s)v¬s≡
Clase#4
 Leyes de Morgan
La negación de la conjunción es la disyunción de
las negaciones.

¬(pvq) ≡¬p^¬q
La negación de la disyunción es la conjunción de
las negaciones.

¬(p^q) ≡¬pV¬q
p^¬(qV¬p) La negación de negación de p es p

p^(¬q^p) Morgan
p^(p^¬q) Conmutativa
(p^p) ^¬q Asociativa
p^¬q Idenpontencia
 Propiedad Conmutativa
pvq≡qVp
p^q≡q^p r^(¬t^r)-----(r^-t) ^r
r^(r^¬t) Conmutativa
(r^r) ^¬t Asociativa
r^¬t Idempotencia
 Ejercicios
p^(¬q^p)≡
¬rv(qVr) ≡
w^(r^¬w) ≡
¬qV(pV¬q) ≡
¬pv(qvp) ≡
 Morgan
P^¬(pVq)
¬(p^r)Vp
¬(qVr) ^¬r Tarea
qV¬(rV¬q) Tarea
¬(p^r)V¬p Tarea
 Propiedad Distributiva
Pv(q^r) ≡(pvq) ^(pvr)
p^(qVr) ≡(p^q)V(p^r)

p^(qv¬p) (p^q) V(P^¬p) (p^q) Vf (p^q)

Distributiva Ley de Negación Ley de Identidad

 Ejercicios Distributiva
Pv(q^¬p) (pvq) ^(pv¬p) (pvq) ^v pvq
¬r^(rvq) Tarea
¬w^[rV¬(¬W)] Tarea