Leyes del Cálculo Proposicional Conmutativa A^B = B^A ; AV B = BV A Asociativa

(P^Q)^R = P^(Q^R) ; (PVQ) VR = PV (QVR) Equipotenciales

P^P = P ; PVP = P Distributiva

PV (Q^R) = (PVQ)^(PVR) ; P^ (QVR) = (P^Q) V(P^R) Identidad

P^V = P ; P^F = F ; P^¬P= F PV V = V ; PVF = P ; PV¬P = V

Leyes del Cálculo Proposicional Doble Negación

¬(¬P) = P ; ¬(¬X^¬(XVY)) = (XV (XVY))

Absorción

PV (P^Q)=P ; P^(PVQ)=P

Ccondicionales

(PQ)=(¬PVQ) ; (PQ)=(¬Q¬P)

Bicondicionales

(PQ)=(PQ)^(QP) ; (PQ)=(¬P^¬Q) V(P^Q)

MORGAN

¬(P^Q)=¬PV¬Q ; ¬(PVQ)=¬P^¬Q

Leyes del Cálculo Proposicional EJEMPLOS

1. (P(¬QVP))

2. (¬PV (¬QVP)) Ley condicional i

3. ((¬QVP) V¬P) Ley conmutativa i

4. (¬QV (PV¬P)) Ley asociativa i

5. (¬QVV) Ley complementaria i

6. V Ley de identidad

Leyes del Cálculo Proposicional (PVQ)(P^Q)

¬(PVQ) V(P^Q) Ley condicional

(¬P^¬Q) V(P^Q) Morgan

PQ Ley bicondicional