Facultad de Ingeniera

Liliana Margarita Felix Avila Manual de Introduccion a los Algoritmos

p!p
p$p cualquier sentencia es
1. Ley de identidad
equivalente a ella misma
pq

p $ p cualquier sentencia es
2. Ley de la doble negacion equivalente a la negacion
p p
de su negacion

p _ p 1 verifica una sentencia o

3. Ley del tercio excluso
su negacion

nunca se puede verificar

4. Ley de contradiccion (p ^ p) 1 a la vez una sentencia y
su negacion

(p ^ q) $ (p _ q)
5. Leyes de De Morgan
(p _ q) $ (p ^ q)

utilizada para demostrar

Ley de reduccion al (p ! (q ^ q)) $ p una conclusion partiendo
6.
absurdo de la negacion de la
misma

(p _ q) $ (q _ p) los terminos de
conjunciones,
7. Leyes de conmutacion (p ^ q) $ (q ^ p) disyunciones y
(p $ q) $ (q $ p) bicondicionales se
pueden conmutar

los
((p ^ q) ^ r) $ (p ^ (q ^ r)) terminos de conjunciones
((p _ q) _ r) $ (p _ (q _ r)) disyunciones y
8. Leyes de asociacion
bicondicionales
((p $ q) $ r) $ (p $ (q $ r)) se pueden agrupar de
cualquier forma
los terminos
(p ! q) $ (q ! p) de un condicional y un
9. Leyes de transposicion bicondicional se pueden
(p $ q) $ (q $ p)
intercambiar si se les
antepone la negacion

Tema 1. Logica Proposicional 6

 Facultad de Ingeniera
Manual de Introduccion a los Algoritmos Liliana Margarita Felix Avila

(p ^ (q _ r)) $ ((p ^ q) _ (p ^ r))

Leyes distributivas (p _ (q ^ r)) $ ((p _ q) ^ (p _ r))

10.
(p ! (q ^ r)) $ ((p ! q) ^ (p ! r))
(p ! (q _ r)) $ ((p ! q) _ (p ! r))

el antecedente
del consecuente de un
11. Ley de permutacion (p ! (q ! r)) $ (q ! (p ! r)) condicional
se puede cambiar por el
antecedente

12. Ley del silogismo (p ! q) ! ((q ! r) ! (p ! r))

13. Ley de exportacion ((p ^ q) ! r) $ (p ! (q ! r))

14. Ley del bicondicional (p $ q) $ ((p ! q) ^ (q ! p))

15. Condicional-disyuncion (p ! q) $ (p _ q)

16. Condicional-conjuncion (p ! q) $ (p ^ q)

(p ^ q) ! p
17. Leyes de simplificacion
p ! (p _ q)

(p ! q) $ (p $ (p ^ q))
18. Leyes de expansion
(p ! q) $ (q $ (p _ q))