1

IDEPUNP/CICLO REGULAR /ABRIL JULIO 2016

RAZONAMIENTO LGICO

SEMANA N 04

TEMA: EQUIVALENCIAS I
COORDINADOR: DENISSE MORANTE SAMANIEGO.
DEDUCCIONES INMEDIATAS

c)LEYDISTRIBUTIVA:(Solo se distribuye los conectores

Son razonamientos que partiendo de una sola premisa se

combinados , , , )

deduce la conclusin aplicando las equivalencias lgicas.

Esta ley consiste en repartir la proposicin externa a cada

Ejemplo: Es falso que ni trabaja ni estudia

una de las proposiciones internas.

Luego, trabaja o estudia

1) A B C A B A C

EQUIVALENCIAS LOGICAS
Son un conjunto de identidades que permiten simplificar o
transformar esquemas lgicos en otros equivalentes.
EQUIVALENCIAS NOTABLES
Son las diferentes leyes lgicas donde al unirlas por el
bicondicional

" ", se obtiene una tautologa. Dos

esquemas moleculares, por ejemplo A y B son equivalentes

cuando unidos por el bicondicional el resultado es una

2) A B C A B A C
3) A B C A B A C
4) A B C A B A C
Ejemplo: Los sabios dicen la verdad; sin embargo, tienen
problemas con la sociedad o la religin los condena
Equivale a: Los sabios dicen la verdad y tienen problemas
con la sociedad; o los sabios dicen la verdad y la religin
los condena.
Simblicamente: A B C A B A C
d) LEY DE DEMPOTENCIA:Por esta ley se reducen las

tautologa.
LEYES DE EQUIVALENCIA

variables repetidas a una sola. Se aplica a esquemas

Sean A, B y C proposiciones cualesquiera:

conjuntivos y disyuntivos.

a)LEY CONMUTATIVA:Esta ley nos indica que todos los

1) A A A
2) A A A

conectores a excepcin de la condicional (implicador y

replicador), si se cambian de orden sus componentes, sus
equivalentes significan lo mismo. .
1)
2)
3)
4)
5)
6)

A B B A
AB B A
A B B A
A B B A
A B B A
A BB A

Ejemplo: Jaqueline ensea Algebra y Rosa ensea lgica.

Equivale a: Rosa ensea lgica y Jaqueline ensea
Algebra.
Simblicamente: A B B A
b) LEYASOCIATIVA:(esta ley se cumple solo con los
conectores , , , )
Esta ley nos indica que cuando los conectores son iguales
estos se pueden agrupar mediante smbolos de agrupacin
( ), { }, [ ].
1) A B C A B C
2) A B C A B C
3) A B C A B C
4) A B C A B C
Ejemplo:
Mara ensea lgica y geometra, sin embargo estudia
economa.
Equivale a:

Ejemplo: Piura es la ciudad del eterno calor y Piura es la

ciudad del eterno calor.
Equivale a: Piura es la ciudad del eterno calor.
Simblicamente: A A A
e)LEY DE LA INVOLUCIN (DOBLE NEGACION):Esta
ley consiste en agregar o quitar negaciones de manera par.
1) A A .
Ejemplo: Es absurdo que Luis no sea de Tarapoto.
Equivale a: Luis es de Tarapoto.
Simblicamente: A A
f) LEY DE D MORGAN: (solo se aplica con los conectores

, ).
Son equivalencias de esquemas conjuntivos y disyuntivos.
Conjunciones no negadas son equivalentes a disyunciones
negadas y viceversa.
1) A B A B

2) A B A B

3) A B A B 4) A B A B
Ejemplo: Es inconcebible

que Alex

sea honrado

trabaje.
Equivale a: Alex no es honrado y no trabaja.
Simblicamente: A B A B

Mara ensea lgica, sin embargo ensea geometra y

estudia economa.

g) LEY DE CONTRAPOSICION O CONTRARRECIPROCA

Simblicamente: A B C A B C

(solo se aplica con los conectores logicos , )

IDEPUNP/CICLO REGULAR /ABRIL JULIO 2016

Se conmutan las variables manteniendo las flechas en su
misma direccin y negando ambas variables.
1) A B B A

2) A B B A

h)DEFINICIN DE IMPLICADOR: Se niega el antecedente

y el conector lgico ( ) se cambia por el conector lgico (
) y el consecuente se repite.
1) A B A B
2) A B A B
i) LEYES DE ABSORCION (Solo se utiliza con los
conectores combinados , )
I) Primera ley de absorcin:
Conectores combinados ,
Termino externo repetido
Conclusin : Solo el trmino que se repite el otro
se elimina
1) A A B A
2) A A B A
II) Segunda ley de absorcin:
Conectores combinados ,
Termino externo con su opuesto
Conclusin: Toda la parte externa y la parte no
comn.
1) A A B A B
2) A A B A B
j)LEY DE COMPLEMENTO:Se utiliza para proposiciones
opuestas por su signo.
1) A A V
2) A A F
3) V F
4) F V
k) LEY DEIDENTIDAD:Una proposicin cualquiera llamada
A es ordenada al lado de una tautologa (V 1) o una
contradiccin (F 0).
1) A F A
2) A V V
3) A F F
4) A V A
l) FLECHA DE NICOD
AB A B

m) BARRA DE SHAFFER
A B A B

n)LEY DE MUTACION
A (B C ) B ( A C )

) LEY DE EXPORTACION
( A B) C A (B C )

O) LEY DE EXPANSION

A [ A ( B B]
A B [ A ( A B )]
A [ A ( B B )]
A B [ A ( A B )]

RAZONAMIENTO LGICO