A LGEBRA ? I NG .

C IVIL
L EYES F UNDAMENTALES DEL A LGEBRA DE P ROPOSICIONES1
P1 Identidad

p V p
p F F

p F p
p V V

p p p

p p p

P2 Idempotencia
P3 Absorcion
p (p q) p

p (p q) p

P4 Involucion (doble negacion)

( p) p
P5 Complemento (negacion)
F V
p ( p) F

V F
p ( p) V

p q q p

p q q p

P6 Conmutatividad
P7 Asociatividad
p (q r) (p q) r

p (q r) (p q) r

P8 Distributividad
p (q r) (p q) (p r)

p (q r) (p q) (p r)

P9 De Morgan
(p q) p q

(p q) p q

P10 Implicancia (Condicionales)

(p q) ( p q)
(p q) (p q)
(p q) ( q p)

( contrarrecproco)

P11 Equivalencia (Doble implicacion o Bicondicional)

(p q) [(p q) (q p)]
1

/km - 11 de marzo de 2015