LEYES DEL ÁLGEBRA PROPOSICIONAL

Son Equivalencias Lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla.

También son llamadas leyes lógicas, y representan formas proposicionales en la que si se sustituyen sus variables por los enunciados correspondiente el resultado será una proposición lógicamente verdadera as que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla.(Irving & Cohen, 2007)

1.     Equivalencia

p⇔p

2.     Indepotencia

p∧p ⇔p

p∨ p ⇔p

3.     Asociativa

p∨q ∨r ⇔ (p∨q) ∨r ⇔ p∨(q∨r)

p∧q ∧r ⇔ (p∧q) ∧r ⇔ p∧(q∧r)

4.     Conmutativa

p∧q⇔ q∧p

p∨q⇔ q∨p

5.     Distributivas

p∧(q∨r)⇔ (p∧q)∨(p∧r)

p∨(q∧r)⇔(p∨q)∧(p∨r)

6.     Identidad

p∧f ⇔ f

p∧v⇔ p

p∨f⇔ p

p∨v⇔v

7.     Complemento

p∧¬p⇔f

p∨¬p⇔v

¬(¬p)⇔p

¬f⇔v

¬v⇔f

8.     De Morgan

 ¬(p∧q)⇔ ¬p∨¬q

  ¬(p∨q)⇔¬p∧¬q

9.     Absorción

P∧(P∨Q)⇔P

P∨(P∧Q)⇔P (Blogspot, 2011)

 Irving y Cohen (2007). Introducción a la Lógica. México: Limusa 

Blogspot. (Dicimbre de 2011). Blogspot. Obtenido de Logica matematica: http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-proposiciones.html