b) c) d) e) (pΛq)=(qΛp) c) (p<-->q)=(q<-->p) 3.- Leyes asociativas. (ASO) [(pVq)Vr]=[pV(qVr)] [(pΛq)Λr]=[pΛ(qΛr)] b) a) b) a) [pV(qΛr)]=[(pVq)Λ(pVr)] [pΛ(qVr)]=[(pΛq)V(pΛr)] a) b) a) (pVq)'=(p'Λq') (pΛq)'=(p'Vq') (pVq)=(p'Λq')' (pΛq)=(p'Vq')' a) b) c) b) a) (p->q), p.·.q 13.- Modus ponens. (MP) p, q.·.pΛq 12.- Conjuncion (CJ) 6.- Leyes de Morgan (M) pΛq .·.p (pΛp)=p b) a) 11.- Simplificación. (SI) (pVp)=p a) p.·.(pVq) a) 5.- Leyes de idempotencia. (ID) 10.- Adición. (AD) (p<-->q)=[(p->q)Λ(q->p)] 9.- Equivalencia (EQ) [(p->q)Λ(p->r)]=[p->(qΛr)] [(p->r)Λ(q->r)]=[(pΛq)->r] (pΛq)=(p->q')' (pVq)=(p'->q) (p->q)=(pΛq')' 4.- Leyes distributivas. (DIS) f) a) (pVq)=(qVp) a) (p->q)=(p'Vq) 8.- Implicación. (IMP) 2.- Leyes conmutativas. (COM) (p->q)=(q'->p') a) a) p''=p 7.- Contrapositiva. (CONT) 1.- Doble negación. (DN) (p->q), q'.·.p' (p<-->q), (q<-->r).·.(p<-->r) (p->q), (q->r).·.(p->r) (p->q), (r->s), (pVr).·.(qVs) a) (p->q), (r->s), (q'Vp').·.(p'Vr') 18.- Dilema destructivo (DD) a) 17.- Dilema constructivo. (DC) a) 16.- Silogismo condicional (SC) a) 15.- Silogismo bicondicional (SB) a) 14.- Modus tollens. (MT)