LEYES DEL ALGEBRA PROPOSICIONAL

Ley de adicin p Cuando se tiene una premisa cualquiera se puede

:p v q adicionar otra proposicin, pero solo con el
operador v
pq Si se tiene una proposicin compuesta mediante
Ley de :p el conector se puede simplificar cualquiera
simplificacin de ellos , si se necesitan simplificar ambos se
simplifican pero en diferentes pasos

pq Se toma una condicional y una premisa

Ley Modus p cualquiera, si esta premisa cualquiera es igual al
Ponens :q antecedente de la condicional, resulta el
consecuente

pq Se toma una condicional y una premisa

~q cualquiera, si esta premisa cualquiera es la
Ley modus Tollens :~p negacin del consecuente, resulta la negacin del
antecedente

pv q Se toma una disyuncin y una premisa cualquiera,

Ley silogismo ~q si esta premisa cualquiera es la negacin de
disyuntivo :p cualquiera de los componentes de la disyuncin
(MPT) resulta el otro tal como esta

Se necesita dos condicionales, el antecedente de

pq uno de ellos debe ser el consecuente del otro,
q r resultando una nueva condicional con en
Ley silogismo :p r antecedente de la primera condicional y el
hipottico consecuente de la segunda condicional
p Se toma dos premisas cualquiera de los que
q existen , esto se puede unir solo mediante el
Ley de conjuncin :pq conector
 LEYES DEL ALGEBRA PROPOSICIONAL

Doble negacin ~ (~p ) p A los parntesis corchetes tomar como

un todo
pqqp Solo se puede conmutar las
Conmutativa pvqqvp proposiciones cuando se tiene los
pqqp conectores : v
mas no otros conectores
Asociativa p (q r ) (q p) r Para asociar debe haber tres
p v (q v r ) (q v p ) v r proposiciones conectados con los
p (q r ) ( q p) r mismos operadores, adems solo se
puede asociar los conectores :
v
Distributiva p (q v r ) (p q) v ( p r
)
p v (q r ) (p v q ) ( p v
r)
p (q r ) ( p q) (p
r)
De Morgan ~ ( p q ) ~p v ~q Se usa cuando hay una negacin de una
~ ( p v q ) ~p ~q conjuncin o una disyuncin y al operar
el parntesis cambia el operador si es
se convierte en v y viceversa
Absorcin p (p v q ) p Solo se admite en conjuncin o
p v (p q ) p disyuncin
p (~p v q ) p q Los conectores deben ser diferentes
p v (~p q ) p v q v
Si el que est afuera es igual a uno
que est adentro, no interesa el otro
entonces resulta el que est afuera
Condicional p q ~p v q Conocido tambin como implicacin
~(p q ) p ~q material
Se convierte en una disyuntiva
Negando al antecedente y el
consecuente sigue igual
Bicondicional p q (p q) (q p) Se convierte en dos condicionales
conectados por el operador
p v VV
Elemento p Vp
neutro p v Fp
p FF
Idempotencia p pp
p v pp
Complemento p v ~p V
p ~p F