IDEPUNP / CICLO ADES / SEPTIEMBRE – DICIEMBRE 2017 1 RAZONAMIENTO LÓGICO

SEMANA Nº 04
TEMA: EQUIVALENCIAS LÓGICAS I
COORDINADOR: FRANKLIN CHUMACERO HUAMÁN
IDEPUNP / CICLO ADES / SEPTIEMBRE – DICIEMBRE 2017 1 RAZONAMIENTO LÓGICO

DEDUCCIONES Equivale a: Rosa enseña sociedad o la religión los disyunciones negadas y

INMEDIATAS lógica y Adda enseña condena viceversa.
Son razonamientos que Algebra. Equivale a: Los sabios 1) B : ( : A : B)
A �‫ٺ‬
partiendo de una sola Simbólicamente: dicen la verdad y tienen B : ( : A : B)
2) A �‫ں‬
premisa se deduce la A �‫ٺ‬
B B A problemas con la 3) : ( A �‫ٺ‬
B) : A : B
conclusión aplicando las
b) LEY ASOCIATIVA:
sociedad; o los sabios 4) : ( A �‫ں‬
B) : A : B
equivalencias lógicas. dicen la verdad y la
(esta ley se cumple solo
Ejemplo: Es falso que ni religión los condena. Ejemplo: Es inconcebible
con los conectores
trabaja ni estudia Simbólicamente: que Alex sea honrado y
��ū
, , , )
Luego, trabaja o estudia
EQUIVALENCIAS
( B C) ( A B )
A ���‫�ں‬ (A C) trabaje.
Esta ley nos indica que
LOGICAS Equivale a: Alex no es
cuando los conectores d) LEY DE honrado y no trabaja.
Son un conjunto de son iguales estos se ÍDEMPOTENCIA: Simbólicamente:
identidades que permiten pueden agrupar Por esta ley se reducen
simplificar o transformar : ( A �‫ٺ‬
B) : A : B
mediante símbolos de las variables repetidas a
esquemas lógicos en agrupación “( ), { }, [ ]. una sola. Se aplica a g) LEY DE
otros equivalentes. 1) esquemas conjuntivos y CONTRAPOSICION O
EQUIVALENCIAS ( A ��‫�ں‬
B) C A (B C)
disyuntivos. CONTRARRECIPROCA
NOTABLES 2)

Son las diferentes leyes

( A ��‫�ٺ‬
B) C A (B C) 1) A‫ ں‬A A (solo se aplica con los
2) A
‫ ٺ‬A A
3) conectores logicos →,
lógicas donde al unirlas
( A � B) � C �A � ( B � C ) Ejemplo: Piura es la ←)
por el bicondicional "  4) ciudad del eterno calor y Se conmutan las
", se obtiene una ( A �ź��
B) C A (B C)
Piura es la ciudad del variables manteniendo
tautología. Dos Ejemplo:
eterno calor. las flechas en su misma
esquemas moleculares, María enseña lógica y
Equivale a: Piura es la dirección y negando
por ejemplo A y B son geometría, sin embargo
ciudad del eterno calor. ambas variables.
equivalentes cuando estudia economía.
Simbólicamente:
unidos por el Equivale a: 1) A � B �: B �: A
‫ ٺ‬A
A A
Bicondicional “ ” el
María enseña lógica, sin
embargo enseña
e) LEY DE LA
2) A � B �: B �: A

resultado es una INVOLUCIÓN (DOBLE

geometría y estudia
tautología. NEGACION):
economía.
LEYES DE Esta ley consiste en
Simbólicamente:
EQUIVALENCIA agregar o quitar h) DEFINICIÓN DE
Sean A, B y C ( A ��‫�ٺ‬
B) C A (B C)
negaciones de manera IMPLICADOR:
proposiciones par. Se niega el antecedente
c) LEY DISTRIBUTIVA:
cualesquiera: y el conector lógico ( � )
(Solo se distribuye los 1) : ( : A ) �A .
a) LEY CONMUTATIVA: se cambia por el
conectores combinados Ejemplo: Es absurdo que
Esta ley nos indica que conector lógico ( �) y el
�‫���ٮ‬
, , ) Luis no sea de Catacaos.
todos los conectores a consecuente se repite.
Esta ley consiste en Equivale a: Luis es de
excepción de la 1) A � B � : A �B
repartir la proposición Catacaos.
condicional (implicador y
Simbólicamente: 2) A � B �: ( A �: B )
externa a cada una de
replicador), si se
cambian de orden sus
las proposiciones : ( : A ) �A i) LEYES DE
internas. ABSORCION
componentes, sus (Solo se utiliza con los
1) f) LEY DE D MORGAN: conectores combinados
equivalentes significan lo
( B C) ( A B)
A ���‫�ٺ‬ (A C) (solo se aplica con los ����
, )
mismo. . I) PRIMERA LEY DE
2) conectores ��
, ).
ABSORCIÓN:
1) A �‫ٺ‬
B B A ( B C) ( A B)
A ���‫�ں‬ (A C)
 Conectores
2) A �‫ں‬
B B A Son equivalencias de
3) combinados
3) A ź�
B B A
4) A � B �B � A ( B C)
A ‫�ٺ�ٮ‬ (A B) (A C ) esquemas conjuntivos y ����
,
Ejemplo: Los sabios disyuntivos.  Termino
5) A �B �B �A externo
6) A B �B A dicen la verdad; sin Conjunciones no repetido
Ejemplo: Adda enseña embargo, tienen negadas son  Conclusión :
Solo el término
Algebra y Rosa enseña problemas con la equivalentes a que se repite el
lógica. otro se elimina
IDEPUNP / CICLO ADES / SEPTIEMBRE – DICIEMBRE 2017 2 RAZONAMIENTO LÓGICO

( A B)
1) A ‫�ں‬ A 9. Hallar el equivalente RESPUESTA:
de: ………………………….
2) A ‫�ٺ‬( A B) A CUESTIONARIO
II) SEGUNDA LEY DE
6. Simplificar:
1. {� {}
ABSORCIÓN:
 Conectores Simplificar: :
V ‫��ٮ‬ : q
� (q : p )�
� q�
� (
: q � p �: q )�
���
� }
p �( p �q) �
�
combinados
����
, { p ����‫ٮ‬
�
: p
� }
( m q) �
� : q ( p q) �
�
� �
RESPUESTA: RESPUESTA:
 Termino …………………………. ………………………….
externo con su
opuesto RESPUESTA:
 Conclusión: ………………………….
10. ¿Cuáles de las
Toda la parte siguientes
externa y la 2. A cuál equivale: proposiciones son
parte no equivalentes?
común. � ( q : p) �
p ���‫ٮ‬
� ��q
� (: p )
: q �
�
1) I. : ( p � : q)
A �‫�ں‬( : A B) A B RESPUESTA:
II. p ‫ ( ڮ‬: p q)
………………………….
2) III. p � ( p �q )
( : A B)
A �‫�ٺ‬ A B 3. Hallar el equivalente IV. p �( p �q )
de:
j) LEY DE
COMPLEMENTO: Se RESPUESTA:
utiliza para proposiciones ………………………….
opuestas por su signo. � (p
p ‫ڮ�ٮ‬
� q )�
��: q (:
� q : p �
� )
1) A‫ ں‬: A V TAREA DOMICILIARIA
RESPUESTA:
2) A
‫ ٺ‬: A F ………………………….
1. La proposición: “Si no
3) : V �F existieran las drogas
4. Hallar el equivalente entonces no habría
4) : F �V
de: delincuencia. Pero hay
k) LEY DE IDENTIDAD:
�
� (
q � p �q �)
��� � (
: p � : q �p �
��q )
drogas”, equivale:
Una proposición
cualquiera llamada “A” RESPUESTA:
…………………………. RESPUESTA:
es ordenada al lado de ………………………….
una tautología (V ó 1) o
una contradicción (F ó 5. Simplificar:
0). 2. Simplificar:
1) A‫ ں‬F A q ���‫��ڮ‬
: p p �
�p ( ) ( q ) q : q�
�p
( p �‫�ڮ‬
�
� : p) ( : q q )�
�� ( : p : p )
2) A‫ ں‬V V
RESPUESTA: RESPUESTA:
‫ ٺ‬F
3) A F …………………………. ………………………….

4) A
‫ ٺ‬V A 3. Hallar la expresión

l) FLECHA DE NICOD 6. Simplificar:

más simple de:

A �B � : A �: B
�
� (: p
p ‫ٮ�ٮ‬ : q )�
��q (:
� q )�� : p
( m d ‫ڮ‬n) ‫ (ڮڮڮ‬n d m ) �
�
� � (: m d : n )
RESPUESTA:
m) BARRA DE
…………………………. Sabiendo que:
SHAFFER
p d q �( p �: q) �q

7.
A B � : A �: B
RESPUESTA:
Simplificar:
………………………….
n) LEY DE MUTACION

A � ( B � C ) �B � ( A � C ) 4. Hallar el equivalente
( p �‫�ٯ‬
�
� p) ( q q )�
�� ( p q
de: )
ñ) LEY
EXPORTACION
DE (:
�
� qwp �: mwn) ( )�
�� ( m w s )
RESPUESTA:
…………………………. Sabiendo que:
( A ���‫ٮ‬
B) C A (B C) a w b �( a � b ) �: a

8. Simplificar: RESPUESTA:
………………………….

p � ( p � q) �
�
� �� q
5. Simplificar:

(
�p
� )
q � p dq( ��( p
)� q )
RESPUESTA:
………………………….