mate

LEYES O PROPIEDADES DE LA LÓGICA
1) CONMUTATIVA (^)
(p^q) (q^b)
#C =
#C =
#C = 4



TAUTOLOGÍA

2) CONMUTATIVA (V)(pvq) (pvq)
#C =
#C =
#C = 4


TAUTOLOGÍA






3) NEGACIÓN
p p'
#C =
#C =
#C = 2CONTRADICCIÓN

4) DOBLE NEGACIÓN
~(~p) p
#C =
#C =

TAUTOLOGÍA

5) ASOCIATIVA (^)[(p^q)^r][p^(q^r)]
#C =
#C =
#C = 8

p
q
r
p^q
q^r
(q^r)
p^b
xy
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
F
F
F
F
F
F
V
F
F
F
F
F
F
F
VF
F
F
F
F
F
F
V
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
TAUTOLOGÍA




6) ASOCIATIVA (^)
[(pvq)vr][pv(qvr)]

#C =
#C =
#C = 8

p
q
r
pvq
qvr
(qvr)
pvb
xy
V
VV
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
V
TAUTOLOGÍA7) DISTRIBUTIVA (^,v)
[(p^(qvr)][(p^q)v(p^r)]
#C =
#C =
#C = 8

p
q
r
qvr
p^q
p^r
p^q
qvc
yz
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
VF
V
V
V
F
V
V
F
F
F
F
F
F
V
F
V
F
F
F
F
F
V
V
V
F
F
F
F
F
V
V
V
F
F
F
F
F
V
V
V
V
V
V
V
V
TAUTOLOGÍA


Propiedad
Simbolización
1.- Ley de identidadp→p
p↔p
2.- Ley de la doble negación
p↔¬¬p
3.- Ley del tercio excluso
p∨¬p
4.- Ley de contradicción
¬(p∧¬p)
5.- La Primera Ley de De Morgan
Afirma que negamos el conjunto de elementos p, q,…relacionados por el conjuntor ( ) si y sólo si se cumple ¬p o ¬q:
¬(p∧q)↔(¬p∨¬q)
6.- La Segunda Ley de De Morgan
Afirma que negamos el conjunto de elementos p, q,… relacionados por el disyuntor...