LEYES DEL ÁLGEBRA PROPOSICIONAL

Las proposiciones equivalentes se convierten en leyes lógicas. Existen infinitas

proposiciones equivalentes. Pero sólo consideraremos algunas a las que llamaremos
leyes del álgebra proposicional

1) Leyes del tercio excluido 6) Leyes distributivas

p   p  V ppF p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)

2) Ley de involución o doble 7) Leyes de De Morgan

negación  (p  q)   p   q
~ (~ p)  p  (p  q)   p   q

3) Ley de idempotencia 8) Leyes condicionales

ppp ppp pqpq

4) Leyes conmutativas 9) Leyes bicondicionales

pqqp p  q  (p  q)  (q  p)
pqqp
pqqp

5) Leyes asociativas 10) Leyes de absorción

(p  q)  r  p  (q  r) p  (p  q)  p
(p  q)  r  p  (q  r) p  (p  q)  p
p  ( p  q)  p  q
p  ( p  q)  p  q

11) Formas normales para la conjunción y disyunción

VVV FFF
pVp pFp
pFF pVV

Las leyes del álgebra proposicional se aplican o utilizan en la validación de

proposiciones compuestas, es decir, para determinar el valor de verdad de una
proposición. Además se utiliza en la simplificación de proposiciones compuestas.
Ejemplo:
 Simplifica la proposición  (p   q)  (p  q) aplicando las leyes del álgebra
proposicional.
  (p   q)  (p  q) ……………… Ley condicional
(p   q)  (p  q) ……………… Ley de doble negación
p  ( q  q) ……………… Ley distributiva
pV ……………… Ley del tercio excluido
p ………………
Propiedades del Máximo entero o Mayor Entero [[x]]
Enumero aquí los teoremas más escenciales el operador máximo entero de un
número real . El cual está definido por

Propiedades

1.

2.

3.

5.

6. Si
7. Si

8. Si

9. Si

10. Si

Bibliografía.
Figueroa G, Ricardo. Matemática Básica. Editorial América S.R.L., Lima-Perú,
1995.