LEYES DEL LGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lgicas. Existen

infinitas proposiciones equivalentes. Pero slo consideraremos algunas a las
que llamaremos leyes del lgebra proposicional

1) Leyes del tercio excluido
p p V p p F

6) Leyes distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r)

2) Ley de involucin o doble
negacin
~ (~ p) p
7) Leyes de de Morgan
(p q) p q
(p q) p q

3) Ley de idempotencia
p p p p p p

8) Leyes condicionales
p q p q
4) Leyes conmutativas
p q q p
p q q p
p q q p

9) Leyes bicondicionales
p q (p q) (q p)

5) Leyes asociativas
(p q) r p (q r)
(p q) r p (q r)



10) Leyes de absorcin
p (p q) p
p (p q) p
p ( p q) p q
p ( p q) p q

11) Formas normales para la conjuncin y disyuncin
V V V F F F
p V p p F p
p F F p V V





Simple compuesta