a ) p

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)