Universidad T

ecnica Federico Santa Mara

Departamento de Matematica

Algebra
de Proposiciones

1.

Sean p, q y r proposiciones l
ogicas, entonces se tienen la siguientes propiedades:

1.1.

Nombre

Propiedad

Identidad

pV p , pF F , pV V , pF p

Idempotencia

ppp , ppp

Involuci
on

(p) p

Complemento

ppF , ppV

Conmutatividad

pq qp , pq qp

Asociatividad

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

Distributividad

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

Leyes de Morgan

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

Algunas propiedades importantes

(p q) (p q) (se puede considerar, de hecho, como la definicion de )
[p (p q)] p (absorci
on)
[p (p q)] p (absorci
on)
(p q) (q p)
(p q) [(p q) F ]
[(p q) (q r)] (p r) es una tautologa (propiedad de transitividad)

MAT021 (Complemento)