Scribd
Cargar
88 vistas2 páginas

Leyes de Equivalencia Lógica

Este documento presenta varias leyes y equivalencias lógicas, incluyendo: 1) La ley conmutativa, asociativa, distribución, idempotencia, doble negación, De Morgan, contraposición y absorción. 2) Definiciones como el implicador lógico y complemento. 3) Otras leyes como identidad, flecha de Nicod, barra de Shaffer, mutación, exportación y expansión. El propósito es explicar diferentes formas de simplificar y transformar esquemas lógicos mediante estas leyes y equivalencias.

Cargado por

FA Jesús Jesus
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
88 vistas2 páginas

Leyes de Equivalencia Lógica

Este documento presenta varias leyes y equivalencias lógicas, incluyendo: 1) La ley conmutativa, asociativa, distribución, idempotencia, doble negación, De Morgan, contraposición y absorción. 2) Definiciones como el implicador lógico y complemento. 3) Otras leyes como identidad, flecha de Nicod, barra de Shaffer, mutación, exportación y expansión. El propósito es explicar diferentes formas de simplificar y transformar esquemas lógicos mediante estas leyes y equivalencias.

Cargado por

FA Jesús Jesus
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

IDEPUNP/CICLO REGULAR /ABRIL– JULIO 2016 1 RAZONAMIENTO LÓGICO

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 conclusión aplicando las equivalencias lógicas. Esta ley consiste en repartir la proposición 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 2) A   B  C    A  B    A  C 
3) A  B  C    A  B    A  C 
Son un conjunto de identidades que permiten simplificar o
4) A  B  C    A  B    A  C 
transformar esquemas lógicos en otros equivalentes.
Ejemplo: Los sabios dicen la verdad; sin embargo, tienen
problemas con la sociedad o la religión los condena
EQUIVALENCIAS NOTABLES
Equivale a: Los sabios dicen la verdad y tienen problemas
Son las diferentes leyes lógicas donde al unirlas por el
con la sociedad; o los sabios dicen la verdad y la religión
bicondicional "  ", se obtiene una tautología. Dos
los condena.
esquemas moleculares, por ejemplo A y B son equivalentes
Simbólicamente: A   B  C    A  B    A  C 
cuando unidos por el bicondicional “  ” el resultado es una
tautología. d) LEY DE ÍDEMPOTENCIA:Por esta ley se reducen las

LEYES DE EQUIVALENCIA variables repetidas a una sola. Se aplica a esquemas

Sean A, B y C proposiciones cualesquiera: conjuntivos y disyuntivos.


1) A  A  A
a)LEY CONMUTATIVA:Esta ley nos indica que todos los 2) A  A  A
conectores a excepción de la condicional (implicador y
Ejemplo: Piura es la ciudad del eterno calor y Piura es la
replicador), si se cambian de orden sus componentes, sus
ciudad del eterno calor.
equivalentes significan lo mismo. .
Equivale a: Piura es la ciudad del eterno calor.
1) A B B  A
2) AB B A Simbólicamente: A  A  A
3) A B  B A
4) A B B A
e)LEY DE LA INVOLUCIÓN (DOBLE NEGACION):Esta
5) A B B A
6) A BB A ley consiste en agregar o quitar negaciones de manera par.
Ejemplo: Jaqueline enseña Algebra y Rosa enseña lógica. 1)    A   A .
Equivale a: Rosa enseña lógica y Jaqueline enseña
Ejemplo: Es absurdo que Luis no sea de Tarapoto.
Algebra. Equivale a: Luis es de Tarapoto.
Simbólicamente: A  B  B  A
Simbólicamente:    A   A

b) LEYASOCIATIVA:(esta ley se cumple solo con los


f) LEY DE D MORGAN: (solo se aplica con los conectores
conectores ,  , ,  )
,  ).
Esta ley nos indica que cuando los conectores son iguales
Son equivalencias de esquemas conjuntivos y disyuntivos.
estos se pueden agrupar mediante símbolos de agrupación
Conjunciones no negadas son equivalentes a disyunciones
“( ), { }, [ ].
negadas y viceversa.
1)  A  B   C  A  B  C 
1) A  B     A   B  2) A  B     A   B 
2)  A  B   C  A  B  C 
3)   A  B    A   B 4)   A  B    A   B
3)  A  B   C  A  B  C 
4)  A  B   C  A  B  C 
Ejemplo: Es inconcebible que Alex sea honrado y
Ejemplo:
trabaje.
María enseña lógica y geometría, sin embargo estudia
Equivale a: Alex no es honrado y no trabaja.
economía.
Simbólicamente:   A  B    A   B
Equivale a:
María enseña lógica, sin embargo enseña geometría y
estudia economía. g) LEY DE CONTRAPOSICION O CONTRARRECIPROCA

Simbólicamente:  A  B   C  A  B  C  (solo se aplica con los conectores logicos →, ←)


IDEPUNP/CICLO REGULAR /ABRIL– JULIO 2016 2 RAZONAMIENTO LÓGICO

Se conmutan las variables manteniendo las flechas en su


misma dirección y negando ambas variables.
1) A  B   B  A 2) A  B   B  A

h)DEFINICIÓN DE IMPLICADOR: Se niega el antecedente


y el conector lógico (  ) se cambia por el conector lógico (
 ) 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 absorción:
 Conectores combinados ,  
 Termino externo repetido
 Conclusión : Solo el término que se repite el otro
se elimina
1) A   A  B   A
2) A   A  B   A
II) Segunda ley de absorción:
 Conectores combinados ,  
 Termino externo con su opuesto
 Conclusión: Toda la parte externa y la parte no
común.
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 proposición cualquiera llamada


“A” es ordenada al lado de una tautología (V ó 1) o una
contradicción (F ó 0).
1) A  F  A
2) A  V  V
3) A  F  F
4) A  V  A
l) FLECHA DE NICOD
AB  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 )]

También podría gustarte