LEYES DE LAS PROPOSICIONES

1. Ley de la Idempotencia: La idempotencia es la propiedad para realizar una accin

determinada varias veces y aun as conseguir el mismo resultado que se obtendra si
se realizase una sola vez.
pvpp
p^pp
p
V
V
F
F

v
V
V
F
F

p
V
V
F
F

p p ^
V V V
V V V
F F
F
F F
F

p
V
V
F
F

p
V
V
F
F

2. Leyes Asociativas: Cuando asociamos los valores de p, q y r, siempre nos dar

el mismo resultada en cada caso.
(p ^ q) ^ r p ^ (q ^ r)
(p v q) v r p v (q v r)
(
p
V
V
V
V
F
F
F
F

^ q
)
V V
V V
F F
F F
F V
F V
F F
F F

^ r
V
F
F
F
F
F
F
F

p ^ (
q
V V V V V
F F V F V
V F V F F
F ( F vV qF vF
V pF F )F V
V
F VF VF V
F V
V
V
V
V
V F F F F
V
F VF vF F
F F
V v F V
F v V V
F v V V
F F F V
F F F F

^ r
)
V V
F F
F V
rF
F
V V
V
V
F F
F
V
F V
V
V
F F
F V
V V
F V
V V
F F

(
q
V
V
F
F
V
V
F
F

V
V
V
V
F
F
F
F

V
V
V
V
V
V
V
F

V/

V/

v
V
V
V
F
V
V
V
F

r
)
V
F
V
F
V
F
V
F

3. Leyes de
identidad: Principio que data
que toda
entidad es idntica a s misma.
|F =
Contradiccin = Cuando todos
los valores
son falsos. = F
V/ = Tautologa = Cuando todos los valores son verdaderos. = V
^ |F |F
|P^ V/ v
^|FV/
p
v |F FP
V
v FV/ FV/
V
F
F
F
F
F
F
F
F
p
V V V V
V V V V
4. Ley de
F Morgan:
F V F
tomanF papel
F en
V los
F
~ (p v q) ~p ^ p~q
~ (p ^ q) ~p v ~q
V V
V V
~ (p v q) ~ (p~
F
F
p
F
F
F V V V F F VF
F V V
F VF VF
V
F
V
F
p

p
^p
p
Fp
F
F
F

|F

v
p

Cuando las disyunciones y conjunciones

valores de verdad.
F
v
F q)
v
^
^ ~
F
F
q
F
V F VFF F
F F pF V V
F VV VV
F VF VV
F V
F V

~
p
F
F
VV
VV
V
V

v
F
V
VV
VV
V
V

~
q
F
V
F
V

F
V

F
F

V
F

V
F

F
V

V
V

F
V

F
V

5. Condicional (): El valor de verdad es falso cuando un valor tiene falsedad en su

consecuente, los dems valores son verdaderos.
p q ~p v q
p q ~q ~p
p
V
V
F
F

V
F
V
V

q
V
F
V
F

V
F
V
V

~p
F
F
V
V
p
V
V
F
F

6.

Solamente el
s ambos
iguales.
p q (p
p q (~p v q) ^ (~q
p

V
F
F

F
F
V

F
V
F

(
p
V V
V V
F F
F F

7. Ley
orden de los
verdad.

q
)
V

v
V
F
V
V

qq
V
F
V
F

~q

V
F
V
V

V
F
V
F

V
F
V
V

F
V
F
V

V
F
V
V

F
F
V
V

Bicondicional ():
valor es verdadero s y solo
valores de los trminos son
q) ^ (q p)

v p)
^ (
q
V V

p
)
V

V
p
F
V
V
V

F Fq
V F
F V
V V

q
)

V
F
F

F
F
V

F
V
F

F V( Vv
V F~ F
F Vp F
V F
V
F V F F
V F V V
F F V V

p
)

(
~
q
F

F
F
V

V
F
V

V
F
V

V
F
F

conmutativa: Cuando el
trminos no altera el valor de

p^qq^p
pvqqvp
p
V
V
F
F

^
V
F
F
F

q
V
F
V
F

V
F
F
F

q
V
F
V
F
p
V
V
F
F

^v
V
F
F
F

V
8. Leyes
V
son
V
mejor
F
p ^ (q v r)
p v (q ^ r) (p v q) ^ (p v r)
p

V V
V V
V V
V F
F F
F F
F F
F 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
F
F
F
F
F

(
p
V
V
V
V
F
F
F
F

^ q
)
V V
V V
F F
F F
F V
F V
F F
F F

v
V
V
V
F
F
F
F
F

(
p
V
V
V
V
F
F
F
F

pq
V
V
F
F

V
F
V
F

V
V
V
F

V
F
V
F

V
V
V
F

V
V
F
F

^ r
)
V V
F F
V V
F F
F V
F F
F V
F F

V
V
V
V
F
F
F
F

V
V
V
V
V
F
F
F

(
q
V
V
F
F
V
V
F
F

r
)
V V
F F
F V
F F
V V
F F
F V
F F

distributivas: Los trminos

distribuidos en pares para un
desarrollo.
(p ^ q) v (p ^ r)

V
V
V
V
V
F
F
F

( v q ^ ( v
p
)
p
V V V V V V
V V V V V V
V V F V V V
V V F V V V
F V V V F V
F V V F F F
F F F F F V
F F F F F F

r
)
V
F
V
F
V
F
V
F

9. Leyes de complemento: Cuando los trminos pueden complementarse, entras

palabras, abreviarse simplificando.
p v ~p V/
P ^ ~p |F
~ (~p) p
~V/ |F
p
V
V
F
F

p
V
V
F
F

(~
~ V/ ^ ~ |
p)
p
F
p
V F
V
V F
V
V V
V
V
V
V
10.
Leyes
de
p en la
por p
V F
F
F
V Fp F
F
p ^ (p v q)
F Fp V
F
p v (p ^ q)
F
F v V q)
^
(p
pF v
~
V
V
V
VV
VV
VFV F VV
V
V
V
V
F
F
V
VF F FF
FFF V FF
F
F
F
F
V
v

11.
Bidisyuncin o
contrario a la
iguales, es falso.
p q (p v q) ^ ~ (p
p
V
V
F
F

F
V
V
F

q
V
F
V
F

F
V
V
F

(p
V
V
F
F

V/

|
F

absorcin: Cuando el trmino q es absorbido

consecuencia de la prueba.

p
(p
VV
V VV
V FF
F FF
F
~
F V
F V
F V
F V
v
V
V
V
F

^
V
F
F
F

q)
V
F
V
F

p
V
V
F
F

Disyuncin exclusiva ( = = ): Lo
bicondicional, cunado los valores de verdad son

F
F
F
F
q)
V
F
V
F

V
V
F
F

^ q)
^
F
V
V
F

~
F
V
V
V

(p
V
V
F
F

^
V
F
F
F

q)
V
F
V
F

12.
Conjuncin negativa (): Cuando la conjuncin cambia de arriba hacia abajo.
p q ~p ^ ~q
p
V
V
F
F

F
F
F
V

q
V
F
V
F

F
F
F
V

~p
F
F
V
V

^
F
F
F
V

~q
F
V
F
V

TE AMODORO, MI NGEL. TE DESEO LO MEJOR, MI

VIDA. VOY A ESTAR SIEMPRE CON VOS, EN TUS
DESVELOS Y TUS SUEOS, DISCULPA LA DEMORA, MI
PRINCIPESSA. TE AMO INFINITAMENTE, MI CIELO.