Curso: Razonamiento Lógico TEMA 04

4) EQUIVALENCIAS LÓGICAS
4.1 DEFINICIÓN:
La Equivalencia Lógica es una relación que existe entre dos proposiciones que tienen sus matrices finales
idénticas, de tal manera que al unirlas biimplicativamente su resultado es una tautología.

4.2 LEYES DE LA LÓGICA PROPOSICIONAL:

Son un conjunto de identidades que permiten simplificar o transformar los esquemas lógicos a otros
equivalentes.
Importante aprenderlas teóricamente según la nota de cada recuadro.

LEY CONMUTATIVA CONTRAPOSICIÓN O CONTRARECÍPROCA

Todos los conectores son conmutativos Invierta las variables, niéguelas ambas y repita el
excepto la implicación () y replicación (). conector lógico.
pqqp pqqp p  q  ~q  ~p
pqqp pqqp (transposición) p  q  ~q  ~p
pqqp pqqp p  q  ~q  ~p

LEY ASOCIATIVA DEFINICIÓN DE IMPLICADOR

Se usa cuando los conectores lógicos Se niega el antecedente la flechita (, ) se
enlazantes son iguales. transforma en "" y el consecuente se repite.
(p  q)  r  p  (q  r) p  q  ~p  q
(p  q)  r  p  (q  r) p  q  ~(p  ~q)
(pq)r  p(qr) pqqp

LEY DISTRIBUTIVA DEFINICIÓN DE BIIMPLICADOR

Se usa cuando los conectores lógicos son p  q  (p  q)  (q  p)
diferentes. p  q  (p  q)  (~p  ~q)
p  (q  r)  (p  q)  (p  r) p  q  ~(p  q)
p  (q  r)  (p  q)  (p  r)  ~p  q
p  (q  r)  (p  q)  (p  r)  p  ~q
p  (q  r)  (p  q)  (p  r)

IDEMPOTENCIA LEY DE COMPLEMENTO

Un conjunto unido o intersectado consigo Un conjunto unido a su complemento da el
mismo da el mismo conjunto. universo.
ppp Un conjunto interceptado con su complemento
ppp da vacío.
p  ~p  V ~V = F
p  ~p  F ~F = V

Jr. Cuzco Nº 323 – Piura. Celular: 984071898 – 984071949 - 933013077

www.academiapremium.edu.pe Academia Premium
 … La clave para tu ingreso
LEY DE DOBLE NEGACIÓN O IDENTIDAD
INVOLUCIÓN
~~p  p pFp pVV
pFF pVp

LEY DE MORGAN DEFINICIÓN DE DISYUNCIÓN FUERTE

p  q  ~(~p  ~q) p  q  (p  q)  (~p  ~q)
p  q  ~(~p  ~q) p  q  (p  ~q)  (~p  q)
~(p  q)  ~p  ~q  p / q p  q = ~(p  q)
~(p  q)  ~p  ~q  p  q = ~p  q
p  ~q  ~(~p  q)  ~(p  q) = p  ~q

LEY DE ABSORCIÓN I LEY DE ABSORCIÓN II

(p  q)  p  p (~p  q)  p  p  q
(p  q)  p  p (~p  q)  p  p  q
p  (p  q)  p p  (~p  q)  p  q

LEY DE EXPORTACIÒN LEY DE MUTACIÓN

(p  q)  r  p  (q  r) p  (q  r)  q  (p  r)

Ejemplos: “El hombre no ha

tejido la red de la
vida, es sólo una
hebra de ella”
 Siempre que corro, me canso  No corro o me canso.
pq  ~p  q

 Es falso que sea responsable y estudie  No soy responsable o no estudie.

~(p  q)  ~p  ~q

RAZON. LÓGICO 2 …La clave para tu ingreso