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 ppF 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
ppp ppp pqpq
4) Leyes conmutativas 9) Leyes bicondicionales
pqqp p q (p q) (q p) pqqp pqqp
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
VVV FFF pVp pFp pFF pVV
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 pV ……………… 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