Vous êtes sur la page 1sur 2

Involucin

~ (~P)

v f v v
f v v f
Tautologa
Imponencia
(p
v
f
(p

^
v
f

p)
v
f

v
v
v
f
f
f
Tautologa

v
v
p)

v
f

v
v

v
f

Conmutatividad de la disyuncin
P
v
v
f
f

v
v
v
v
f

q
v
f
v
f

v
v
v
v

q
v
f
v
d

v
v
v
f

v
v
f
f

Conmutatividad de la conjuncin

v
v
v
v
f
f
f
f
v
f
f
v
Tautologa

q
v
v
v
v

q
v
f
v
f

v
f
f
f

v
v
f
f

Asociatividad de la disyuncin
(P

V
V
V
V
V
V
V
V
F
V
V
F
F
V
V
F
V
V
F
F
F
F
F
F
Tautologa

q) v
V
V
V
V
V
V
V
F

r
V
F
V
F
V
F
V
F

p
V
V
V
V
V
V
V
V

V
V
V
V
F
F
F
F

v
V
V
V
V
V
V
V
F

(q
V
V
F
F
V
V
F
F

V
V
V
F
V
V
V
F

v
V
F
V
F
V
F
V
F

r)

Asociatividad de la conjuncin
(P
V
V
V
V
F
F
F
F

^
V
V
F
F
F
F
F
F

Tautologa

V
V
F
F
V
V
F
F

q) ^

V
F
F
F
F
F
F
F

V
F
V
F
V
F
V
F

p
V
V
V
V
V
V
V
V

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

^
V
F
V
F
V
F
V
F

r)