Leyes del lgebra Propisicional

Tautologas:
Equivalencias Lgicas
Implicaciones

Leyes del lgebra Proposicional

Equivalencia Lgica:
Sean dos proposiciones A y B. A es lgicamente
equivalente a B, o simplemente A es equivalente
a B.
A>< B>

AB
AB
Si y slo si la forma bicondicional AB es una
tautologa

Leyes del lgebra Proposicional

Ejemplo:
Ley del condicional:
pq ~pvq

lgebra de Proposiciones
Existen abundantes equivalencias lgicas. Sin
embargo, todas estas pueden deducirse a partir
de unas pocas equivalencias fundamentales, a
las que llamaremos leyes del lgebra de
proposiones.

Leyes del
lgebra de Proposiciones
Leyes de Idempotentes:
ppp

ppp

Leyes Asociativas:
(pq)rp(qr)

(pq)rp(qr)

Leyes Conmutativas:
pqqp

pqqp

Leyes Distributivas:
p(qr)(pq)(pr)

p(qr)(pq)(pr)

Leyes del
lgebra de Proposiciones
Leyes de Identidad o Elemento Neutro:
p0p

p1p

Leyes Dominicacin:
p11

p00

Leyes de Complementacin:
Tercer Excluido
p~p1

p~p0

Tercer Excluido
~~pp

Contradiccin
Contradiccin

~10

~01

Leyes de Morgan:
~(pq)~p~q

~(pq)~p~q

Leyes del
lgebra de Proposiciones
Leyes del Condicional:
pq~pq
Leyes Bicondicional:
pq(pq)(pq)
Leyes de Disyuncin Exclusiva:
pq(p~q)(q~P)
Ley del Contrarreciproco:
pq~qp
Ley del Reduccin al Absurdo
pq(p~q0)
Ley de Demostracin por Casos:
[(pq)r](pr)(qr)
Ley de la Absorcin:
p(pq)p

p(pq)p