UNICIPALIDAD DISTRITAL VEINTISÉIS DE OCTUBRE

ACADEMIA MUNICIPAL PREUNIVERSITARIA

“Trabajando por un Distrito Activo y Saludable”

DOCENTE: Ana Rivera 1) p  (q  r)  (p  q)  (p  r)

AREA: Razonamiento Lógico 2) p  (q  r)  (p  q)  (p  r)
TEMA: Equivalencias Lógicas 3) p → (q  r)  (p → q)  (p → r)
SEMANA: 04 FICHA:04 4) p → (q  r)  (p → q)  (p → r)

d) Ley de Absorción
EQUIVALENCIAS LÓGICAS
Sólo (, ); se utiliza para reducir
esquemas.
Son identidades lógicas que sirven para
transformar o simplificar esquemas en otros 1. Absorción I:
equivalentes. Es una relación que existe
entre 2 esquemas que tiene sus matrices
i) Una proposición se repite de
finales idénticas, de tal manera que al
manera idéntica.
unirlas biimplicativamente () su resultado ii) Respuesta: Proposición que se repite.
es tautología.
p  (p  q)  p
Ejemplo:
p  (p  q)  p
p q pq  p  q
V V V V F V V
2. Absorción II:
V F F V F F F
F V F V V F V i) Una proposición se repite de
F F V V V V F manera opuesta.
ii) Respuesta: Proposición externa
Matriz final y la otra no común.
(tautología)
p  (p  q)  p  q
 Los esquemas son equivalentes. p  (p  q)  p  q
LEYES DE EQUIVALENCIA
e) Doble Negación (involución)
a) Ley Conmutativa
Consiste en agregar o quitar
Todos los conectores menos los
negaciones de manera par.
condicionales son conmutativos. Se
permutan (cambiar el orden) las
variables sin afectan el resultado. pp
1) p  q  q  p
2) p  q  q  p f) Ley de Morgan: Sólo (,).
3) p  q  q  p
4) p  q  q  p Cuando tengamos esquemas
5) p  q  q  p conjuntivos o disyuntivos débiles
6) p | q  q | p
negados externamente o sin negar.
b) Ley Asociativa 1) (p  q)  p  q  p | q
2) (p  q)   p   q  p  q
Sólo (,,, ). Cuando los 3) p  q  ( p   q)
conectores son iguales. Asociar es 4) p  q  ( p  q)
agrupar de manera conveniente unos
con otros. g) Definición de Implicador
1) p  q  r  (p  q)  r  p  (q  r)
2) p  q  r  (p  q)  r  p  (q  r) (Debemos ubicar el antecedentes y
consecuente). Negamos el
3) p  q  r  (p  q)  r  p  (q  r)
antecedente, cambiamos el implicador
4) p  q  r  (p  q)  r  p  (q  r) (flecha) en disyunción débil y el
consecuente permanece constante.
c) Ley Distributiva

Sólo (, , →, →) p → q  p  q

Es repartir la proposición externa a pqpq
cada una de las proposiciones
internas.
CURSO: RAZONAMIENTO LÓGICO PROYECTO: ACADEMIA MUNICIPAL PREUNIVERSITARIA

Seguimos siendo
tu ingreso directo
 UNICIPALIDAD DISTRITAL VEINTISÉIS DE OCTUBRE
ACADEMIA MUNICIPAL PREUNIVERSITARIA
“Trabajando por un Distrito Activo y Saludable”

h) Definición del Biimplicador b) p  q  (p  q)

 p  q
Es la conjunción de condicionales, o  p  q
también disyunción de conjunciones.  p  q

p  q  (p → q)  (q → p) 2. Otras identidades:
 (p  q)  (q  p)
 (p  q)  (p  q) a) p  p  V
p  p  F
i) Definición de Disyunción Fuerte pp F
p  p  V
Es la negación de la biimplicación.
b) p  V  p
p  q  (p  q)  (q  p) p  F  p
 (p  q)  (p  q) p  V  p
pF p
j) Ley Contraposición
CUESTIONARIO:
Sólo (→,), se conmutan las
variables, manteniendo las flechas 1.- Hallar el esquema equivalente de:
constantes y negando ambas
variables.

1) p → q  q → p
2) p  q  q  p

k) Ley de Complemento

Sólo (, ), se utiliza para Son ciertas:

proposiciones opuestas por su signo. a) Solo1
b) 2 y 3
c) 1 y 3
1) p  p  F (contradicción) d) 1 y 2
2) p  p  V (tautología) e) Solo 4
l) Ley de Idempotencia 2.- La fórmula:
Sólo (, ), se utiliza para eliminar
la redundancia.
1) p  p  p Es equivalente a :
2) p  p  p
a) p˄q
m) Ley identidad b) Falso
c) q
Sólo (, ), se utiliza para proposiciones d) ~q→p
junto a esquemas (tautológicos = V) o e) Verdadero
(contradictorios = F)
3.- Simplificar el esquema
1) pVp
2) pVV
3) pFF a) p≡q
4) pFp b) p∆q
c) p
NOTE 5: d) q
e) p˅q
1. Relación: “” y “”
4.- La fórmula , es
a) p  q  (p  q) equivalente a:
 p  q
 p  q a) q
 p  q b) p → q

CURSO: RAZONAMIENTO LÓGICO PROYECTO: ACADEMIA MUNICIPAL PREUNIVERSITARIA

Seguimos siendo
tu ingreso directo
 UNICIPALIDAD DISTRITAL VEINTISÉIS DE OCTUBRE
ACADEMIA MUNICIPAL PREUNIVERSITARIA
“Trabajando por un Distrito Activo y Saludable”

10.-
c) p
d) p ← q
e) p ∧ q

5.- La fórmula a) p⋀q

b) p∨r
c) q
d) p
Equivale a: e) p⋀q ⋀r

a) p∨q 11.- Dada la matriz principal de un

b) p→q determinado esquema: 11010101 al
c) p⨁q encontrar el esquema, su equivalente es:
d) p←q
e) q↔p
a) p←q
6.- Reducir equivalente el siguiente esquema b) (p ⋀ q) ⋁ r
c) (~p ⋀ q) ⋁ ¬ r
d) (p ⋀ q) ← r
e) ~p⨁q

a) p 12.-
b) ~p → p
c) ~q→ ~q
d) ~p← ~q
e) p⋀q
a) p
7.- Simplificar: b) p⋀~q
c) ~p
d) ~q ∨ ~p
a) ~p← ~q e) ~p ∨ q
b) p∨q
c) p ∨ ~q 13.- Sea : 00111111. Hallar la
d) p ∨ ~q
e) p ⋀ q expresión simplificado del siguiente
esquema:
8.-

a) ¬p∧¬q
b) ~q ∨ ~p
c) q
d) p
e) p⋀q

14.- De: ; Hallar el

9.- esquema lógico equivalente de:

a) Verdadero
b) ~q a) p
c) p b) ~p
d) p ∨ ~q c) F
e) Falso d) ~q
e) V

CURSO: RAZONAMIENTO LÓGICO PROYECTO: ACADEMIA MUNICIPAL PREUNIVERSITARIA

Seguimos siendo
tu ingreso directo
 UNICIPALIDAD DISTRITAL VEINTISÉIS DE OCTUBRE
ACADEMIA MUNICIPAL PREUNIVERSITARIA
“Trabajando por un Distrito Activo y Saludable”

20.- Sabiendo que:

15.-

Hallar el equivalente de:

a) p∧r
b) ~p ∧ r
c) ~p ∨ r
d) p∧~r
e) p∨~r Respuesta:

16.- A cuál equivale: ___________________________________

21.- Simplificar:

Respuesta: Respuesta:

_______________________________
___________________________________
17.- Hallar el equivalente de:

Respuesta:

_________________________________

18.- Hallar la expresión equivalente de :

Respuesta:

__________________________________

19.- Se define:

Hallar la expresión mas simple para:

Respuesta:

___________________________________

CURSO: RAZONAMIENTO LÓGICO PROYECTO: ACADEMIA MUNICIPAL PREUNIVERSITARIA

Seguimos siendo
tu ingreso directo