Leyes de Equivalencia

Leyes de Equivalencia
1.- Conmutativa CONM
Esta ley puede aplicarse con tres de los cuatros conectivos didicos: conjuncin, disyuncin y bicondicional.
Con el nico conectivo que no puede aplicarse esta ley es con el conectivo de la condicional. Cambia el orden
de las proposiciones sin modificar el conectivo.
(P ^ Q) (Q ^ P)
(P v Q) (Q v P)
2.- Doble negacin DN.
Una proposicin doblemente negada es igual a su afirmacin y viceversa.
P (~~P)
3.- De Morgan MORGAN
Tiene dos formas en las que se puede aplicar la ley. A partir de una proposicion en conjuncion negada, se
puede obtener la negacin de cada uno de los conjuntivos pero cambiando el conectivo a disyuncion, pero
cambiando el conectivo a conjuncion.
[~( P ^ Q)] (~P v ~Q)
o bien
[~(P v Q)] (~P ^ ~Q)
4.- Asociacin ASOC
Esta ley ordena de diversas formas sin alterar los productos, cuando se tenga el mismo conectivo lgico, ya
sea la conjuncion o disyuncion.
[(P v Q) v R] [P v (Q v R)]
o bien
[(P ^ Q) ^ R] [P ^ (Q ^ R)]
5.- Distribucin DISTR
Se aplican cuando se tienen dos conectivos diferentes: conjuncion-disyuncion o bien disyuncion-conjuncion.
Distribuye a la proposicion fuera del parntesis con las que estn dentro de este.

[(P v Q) ^ R] [(P ^ R) v (Q ^ R)
[(P ^ Q) v R)] [(P v R) ^ (Q v R)
6.- Tautologia trivial TAU
Dos proposiciones iguales unidas por una conjuncion o una disyuncion, es equivalente a tener la misma
proposicion.
(P v P) P
(P ^ P) P
7.- Implicacin material I.M
Esta ley permite cambiar el conectivo principal de la proposicion condicional por disyuncion, pero
negando el antecedente.
(P Q) (~P v Q)
o bien
(P Q) ~(P ^ ~Q)
8.- Trasposicin TRAS
La trasposicin de una preposicin condicional es una proposicion con el mismo conectivo condicional
cambiando las preposiciones antecedente y consecuente y negndolas respectivamente.
(P Q) (~Q ~P)
9.- Exportacin EXP
Cambia de conectivo de conjuncion a condicional cuando el antecedente es una conjuncion, y los agrupa de
diferente manera al dejar el primer conjuntivo como antecedente de toda la preposicin y pasar el segundo
conjuntivo al consecuente de la proposicion como parte de otra condicional.
[(P ^ Q) R] [P (Q R)]
10.- Equivalencia material E.M
La proposicion bicondicional equivale a la conjuncion de las proposiciones condicionales que forman parte de
la bicondicional en ambos sentidos.
(P Q) [(P Q) v (~Q ~P)
(P Q) [(P Q) ^ (Q P)