1. Definicin de la implicacin en funcin de la conjuncin.

(p
v
v
f
f

v
f
v
v

q)
v
f
v
f

v
v
v
v

v
f
v
v

(p
v
v
f
f

f
v
f
f

f
v
f
v

q)
v
f
v
f

(p
v
v
f
F

2. Definicin de la implicacin en funcin de la disyuncin.

q)

(
p
v
q)
v
v
v
f
v
v
v
f
f
v
f
v
f
f
v
v
v
v
f
v
v
v
f
v
v
f
v
f

(p
v
v
f
F

3. Equivalencia de la implicacin y su contraposicin.

q)

(
q

v
v
v
f
v
v
f
f
f
v
v
f
f
f
v
v
v
f
v
v
v
v
f
v
v
f
v
v

p)
v
v
f
f

4. Leyes de De Morgan.

(p
v
q)

f
v
v
v
v
f
v
v
f
v
f
f
v
v
v
v
f
f
f
v

(
f
f
v
v

p
v
v
f
f

f
f
f
v

f
v
f
v

q)
v
f
v
f

f
v
v
v

5. Leyes de De Morgan.
(p

q)

v
v
v
v
v
f
f
v
f
f
v
v
f
f
f
V

(
f
f
v
v

p
v
v
f
f

v
f
v
v
v

f
v
f
v

q)
v
f
v
f

(p
v
v
f
f

6. Propiedad conmutativa de la conjuncin.

q)

(q
v
v
v
v
f
f
v
f
f
v
v
v
f
f
v
f

7. Propiedad asociativa de la conjuncin.

v
f
f
f

p)
v
v
f
f

(p
v
v
v
v
f
f
f
f

v
f
f
f
f
f
f
f

(q
v
v
f
f
v
v
f
F

v
f
f
f
v
f
f
f

r))
v
f
v
f
v
f
v
f

v
v
v
v
v
v
v
v

((p
v
v
v
v
f
f
f
f

v
v
f
f
f
f
f
f

q)
v
v
f
f
v
v
f
f

v
f
f
f
f
f
f
f

r)
v
f
v
f
v
f
v
f

8. Propiedad distributiva de la conjuncin respecto de la

disyuncin.
(p
v
v
v
v
f
f
f
f
(p
v
v
f
F

v
v
v
f
f
f
f
f

(q
v
v
f
f
v
v
f
f

r))
v
f
v
f
v
f
v
f

v
v
v
v
v
v
v
v

9. Ley de absorcin.

(p
v
v
v
v
f
f
f
f
10.

((p
v
v
v
v
f
f
f
f
v
v
v
v
f

v
v
f
f
f
f
f
f

q)
v
v
f
f
v
v
f
f
q))
v
f
v
f

Ley de idempotencia

p
v
v
v
v
f
f
f
f

P
v
v
f
F
11.

v
v
v
v
f
f
f
f
f

(p
v
v
v
v
f
f
f
f

v
f
v
f
f
f
f
f

v
v
v
v

p)
v
v
f
f

v
v
v
v

p
v
v
f
f

v
v
v
v

F
f
f
f
f

Ley de dominancia.

p
v
v
f
f

f
f
f
f
12.

(p

v
v
v
v
f
v
v
v
F

F
f
f
f
f

Propiedad conmutativa de la disyuncin.

v

q)

(q

p)

r)
v
f
v
f
v
f
v
f

v
v
f
f

v
v
v
F
13.

(p
v
v
v
v
f
f
f
f

v
f
v
f

v
v
v
v

v
f
v
f

v
v
v
f

v
v
f
f

Propiedad asociativa de la disyuncin.

v
v
v
v
v
v
v
v
f

(q
v
v
f
f
v
v
f
f

v
v
v
v
f
v
v
v
f

r))
v
f
v
f
v
f
v
f

v
v
v
v
v
v
v
v

((p
v
v
v
v
f
f
f
f

v
v
v
v
v
v
v
f
f

q)
v
v
f
f
v
v
f
f

v
v
v
v
v
v
v
v
f

r)
v
f
v
f
v
f
v
f

14.
Propiedad distributiva de la disyuncin respecto de la
conjuncin
(p
v
v
v
v
f
f
f
f

v
v
v
v
v
v
f
f
f

(q
v
v
f
f
v
v
f
f

15.
(p
v
v
f
f

r))
v
f
v
f
v
f
v
f

v
v
v
v
v
v
v
v

((p
v
v
v
v
f
f
f
f

v
v
v
v
v
v
v
f
f

q)
v
v
f
f
v
v
f
f

v
v
v
v
v
f
f
f

(p
v
v
v
v
f
f
f
f

v
v
v
v
v
v
f
v
f

Ley de absorcin.
v
v
v
f
f

16.
p
v

v
f
f
f
v
f
f
f

(p
v
v
f
f

v
f
f
f

q)
v
f
v
f

v
v
v
v

p
v
v
f
f

Ley de idempotencia.
v
v

p
v

p
v

r))
v
f
v
f
v
f
v
f

v
f
f

v
f
f
17.

p
v
v
f
f

v
f
f

v
v
f
f

v
f
f

v
v
v
v

V
v
v
v
v

Ley de dominancia.
V
v
v
v
v

18.

v
v
v

V
v
v
v
v

Doble negacin.
(
f
f
v
v

p)
v
v
f
f

v
v
v
v

p
v
v
f
f

Tabla 2.3: Algunas frmulas lgicamente equivalentes.

Cuando construimos una tabla de verdad, en la ltima columna
pueden darse dos casos lmite, y uno intermedio. Los casos extremos
son: i) la columna slo contiene valores de verdad V; ii) la columna
solo contiene valores de verdad F. El caso intermedio se da cuando la
columna contiene valores de verdad V y F.