NOMBRE:

Sergio Arpi




FECHA:
10-01-2017




ASIGNATURA:
Lógica




CARRERA:
Mecatrónica



AÑO LECTIVO:
2017-1018










 Leyes de Equivalencia

1.-Ley Conmutativa
Esta ley puede aplicarse con tres de los cuatros conectivos diádicos: conjunción,
disyunción 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.
Ejemplos:
(P ^ Q) ⇆ (Q ^ P)
(P v Q) ⇆ (Q v P)

2.- Doble negación DN.

Una proposición doblemente negada es igual a su afirmación y viceversa.
Ejemplos:
P ⇆ (~~P)
q ⇆ (~~q)

3.- De Morgan MORGAN

Tiene dos formas en las que se puede aplicar la ley. A partir de una proposición en
conjunción negada, se puede obtener la negación de cada uno de los conjuntivos pero
cambiando el conectivo a disyunción, pero cambiando el conectivo a conjunción.
Ejemplos:
[~( P ^ Q)] ⇆ (~P v ~Q)
[~(P v Q)] ⇆ (~P ^ ~Q)

4.- Asociación ASOC

Esta ley ordena de diversas formas sin alterar los productos, cuando se tenga el mismo
conectivo lógico, ya sea la conjunción o disyunción.
Ejemplos:
[(P v Q) v R] ⇆ [P v (Q v R)]
[(P ^ Q) ^ R] ⇆ [P ^ (Q ^ R)]

5.- Distribución DISTR

Se aplican cuando se tienen dos conectivos diferentes: conjuncion-disyuncion o bien
disyuncion-conjuncion. Distribuye a la proposición fuera del paréntesis con las que
están dentro de este.
Ejemplos:
[(P v Q) ^ R] ⇆ [(P ^ R) v (Q ^ R)
[(P ^ Q) v R)] ⇆ [(P v R) ^ (Q v R)

6.- Tautología trivial TAU

Dos proposiciones iguales unidas por una conjunción o una disyunción, es equivalente a
tener la misma proposición.
Ejemplos:
(P v P) ⇆ P
(P ^ P) ⇆ P

7.- Implicación material I.M

Esta ley permite cambiar el conectivo principal de la proposición “condicional” por
“disyunción”, pero negando el antecedente.
Ejemplos:
(P → Q) ⇆ (~P v Q)
(P → Q) ⇆ ~(P ^ ~Q)
8.- Trasposición TRAS
La trasposición de una preposición condicional es una proposición con el mismo
conectivo condicional cambiando las preposiciones antecedente y consecuente y
negándolas respectivamente.
Ejemplos:
(P → Q) ⇆ (~Q → ~P)
(R → S) ⇆ (~S → ~R)

9.- Exportación EXP

Cambia de conectivo de conjunción a condicional cuando el antecedente es una
conjunción, y los agrupa de diferente manera al dejar el primer conjuntivo como
antecedente de toda la preposición y pasar el segundo conjuntivo al consecuente de la
proposición como parte de otra condicional.
Ejemplos:
[(P ^ Q) → R] ⇆ [P → (Q → R)]

10.- Equivalencia material E.M

La proposición bicondicional equivale a la conjunción de las proposiciones
condicionales que forman parte de la bicondicional en ambos sentidos.
Ejemplos:
(P ⇆ Q) ⇆ [(P → Q) v (~Q → ~P)
(P ⇆ Q) ⇆ [(P → Q) ^ (Q → P)

BILIOGRAFIA
Lógica proposicional. Leyes de implicación y equivalencia. (29 de mayo de 2012).
Fecha de consulta: 10 de enero del 2017. Disponible en:
https://argumentosdevalides.wordpress.com