Reglas de Reemplazo

Es una expresin equivalente a una proposicin que originalmente no tienen

equivalente por alguna regla de inferencia, esta nueva proposicin lgica es
equivalente a la original.
Se pueden presentar 2 tipos de reemplazos, una que llevan a los siguiente:
Implicacin lgica: implica tautologa o contradiccin y se expresa con el
smbolo

=>

Equivalencia lgica: muestra que son equivalente P A Q mostrando el mismo

valor de verdad, se representa por el smbolo
Donde " " es un smbolo meta lgico que representa "puede ser reemplazado
en una demostracin con."

Ley de Morgan
Regla Condicional
P
q
p v q
P
q
q
p
P
q
(p ^ q)
Ley de conmutacin
P V q = q V p
Ley de absorcion
P ^ (p v q)
p
P v (p ^ q)
p
P ^ (p v q)
P v (p ^ q)

(p ^ q)
(p v q)

ley de distribucin:

p v (q ^ r ) (p v q ) ^ (p v r)
p ^ (q v r ) (p ^ q) v (p ^r )
Doble Negacin

P P
P P

Regla de Contra reciproca

Equivalencia material
P
q
(p ^ q ) v (p ^ q)
(p
q)
(p
q) ^ (q
p)
Regla material

q = p v q

Regla de exportacin
Tautologa (regla de inferencia)

Ejemplo practico:

1. P v (q ^ r)
2. P v q
s
( P v S)
3. (p v q) ^ (P v r)
4. P v q

DISTRIBUCION (1)
SIMPLIFICACION- SIMP (3)

5. S

MP (2 , 4)

6. P v s

Adicion -AD (5)

Queda demostrada en la lnea 6 la validez del argumento, hemos aplicado la

regla de distribucin