“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” LÓGICA

CENTRO PREUNIVERSITARIO
EQUIVALENCIAS LÓGICAS
CEPU CICLO I-2022

EQUIVALENCIAS LÓGICAS EQUIVALENCIAS NOTABLES

Definición: Permiten transformar y simplificar fórmulas lógicas:

Son esquemas bicondicionales y tautológicos. Es decir,
las fórmulas A y B son equivalentes si y solo si las Ley de la Involución (p) = p
matrices principales de A y B son idénticas. Ley de la p  p=p
Formalmente sería así: idempotencia p  p=p
Leyes conmutativas p  q=q  p
AB
p  q=q  p
p  q=q  p
Se lee: “A es equivalente a B, o B es equivalente a A” p  q=q  p
Leyes asociativas p  (q  r) = (p  q)  r
Nota: p  (q  r) = (p  q)  r
Toda equivalencia es una fórmula bicondicional, pero no p  (q  r) = (p  q)  r
toda fórmula bicondicional es una equivalencia, porque p  (q  r) = (p  q)  r
puede tratarse de una ⊥ o Q. Leyes distributivas p  (q  r) = (p  q)  (p  r)
p  (q  r) = (p  q)  (p  r)
Propiedades de las fórmulas equivalentes: p → (q  r) = (p → q)  (p → r)
• Propiedad reflexiva: Cualquier fórmula equivale a sí p → (q  r) = (p → q)  (p → r)
misma. Leyes de Morgan (p  q) = p  q
• Propiedad simétrica: Si A equivale a B, entonces B (p  q) = p  q
Definición de la p → q = p  q
equivale a A. condicional
• Propiedad transitiva: Si A equivale a B y B equivale Definición de la p  q = (p → q)  (q → p)
a C, entonces A equivale a C. bicondicional p  q = (p  q)  (q  p)
• Todas las fórmulas tautológicas (T) son p  q = (p  q)  (p  q)
equivalentes. p  q = (p  q)
• Todas las fórmulas contradictorias (⊥), son
p  q = p q
equivalentes.
p  q=p  q
LEYES EQUIVALENTES O EQUIVALENCIAS p  q = p  q
NOTABLES Definición del p  q = (p  q)  (p  q)
disyuntor excluyente
p  q = (p  q)  (p  q)
PRINCIPIOS LÓGICOS CLÁSICOS p  q = (p  q)
p  q = pq
El principio de la identidad: p → p; p  p p  q=p  q
El principio de la no-contradicción: (p  p) p q = p  q
El tercio excluido: p  p Leyes de la absorción p (p  q) = p
p (p  q) = p  q
p (p  q) = p
p (p  q) = p  q
Leyes de la p → q = q → p
transposición
Ley de Exportación (p  q) → r = p → (q → r)
Leyes lógicas Para la conjunción: Para la disyunción:
adicionales V  V=V F  F=F
V  p=p F  p=p
F  p=F V  p=V
p  (p) = F

Elementos neutros P  C=C

para la Contradicción T  C=C
y Tautología
C  T=T
T  P=T
*****

T = Tautología (verdad)
C/⊥ = Contradicción (falso)
P = Esquema molecular contingentes o
consistentes (Q)
1
 LÓGICA Práctica 05

EJERCICIOS RESUELTOS: SOLUCIÓN:

En las alternativas buscamos los equivalentes a:
1. La fórmula lógica: (p∆q) ∨ [(q ⊕ p) ∧ (r ↔ s); p ↔ (p ∧ q) simplificando las alternativas:
equivaie a:
A) p 1) p → (q ← p) ≡ −p ∨ q ≡ p → q (V)
B) p ⊕ q 2) p ∧ (p ↔ q) ≡ p ∨ [p ∧ (−p ∧ −q)]
C) −p ≡ p ∨ F ≡ p (F)
D) p ∨ −q 3) (p ↔ p) ∧ (p ↔ q) ≡ p ↔ q
E) −q V ∧ (p ← q) (F)
4) p → q (V)
SOLUCIÓN: 5) q ↔ (p ∨ q) ≡ [q ∧ (p ∨ q)] ∨ [−q ∧ −(p ∨ q)]
(p∆q) ∨ [(q ⊕ p) ∧ (r ↔ s) ≡ q ∨ −p (V)
(p∆q) ∨ [(p∆q) ∧ (r ↔ s)
p∆q ≡ p ⊕ q RESPUESTA: D

RESPUESTA: B 4. De las fórmulas:

1) A& (A + B + C + D + E + F + G)
2. El esquema lógico: −(− A ↔ −B) ∧ 1; es
2) (A → A) A (A ← A)
equivalente a:
3) A ∆ A
1) −(A ↔ −B)
4) −A ∨ (C ∧ −B ∧ −A)
2) A ↔ −B
5) −[(A → B) → A)]
3) (A ⊕ B) ∨ 0
Se producen equivalencias entre:
4) (A ∨ B) ∧ ( −A ∨ − B)
A) 1 y 2
5) −(A → B) ∨ −(B → A) B) 2 y 3
Son ciertas: C) 3 y 4
A) Solo 1, 2 y 4 D) 4 y 5
B) Solo 3, 4 y 5 E) 1 y 5
C) Solo 2 y 3
D) Todas SOLUCIÓN:
E) Solo 1, 3 y 5 1) A& (A + B + C + D + E + F + G) ≡ A
2) (A → A) A (A ← A) ≡ V ∧ V ≡ V
SOLUCIÓN:
−(− A ↔ −B) ∧ 1 ≡ −A∆ − B ≡ A ↔ −B ≡ A ⊕ B 3) A ∆ A ≡ F
≡ −A ↔ B 4) −A ∨ (C ∧ −B ∧ −A) ≡ −A
1) −(A ↔ −B) (V) 5) −[(A → B) → A)] ≡ −[−(−A ∨ B) ∨ A)]
2) A ↔ −B (V) −[(A → B) → A)] ≡ −[(A ∧ −B) ∨ A)] ≡ −A
3) (A ⊕ B) ∨ 0 (V)
RESPUESTA: D
4) (A ∨ B) ∧ ( −A ∨ − B) (V)
5) −(A → B) ∨ −(B → A) ≡ −[(A → B) ∧ (B → A)] 5. La fórmula: [(p → −q) → −(q ← p)] → −(p → −q)
≡ −(A ↔ B) ≡ A ⊕ B (V) Equivale a;
A) p + p + q + q + q
RESPUESTA: D B) p & p & p & q & q
C) −p & − q & − p & − q
3. El esquema molecular p ↔ (p ∧ q); equivale a: D) −p + −q + −p + −q
1) p → (q ← p) E) p & − q & − p & q
2) p ∧ (p ↔ q)
3) (p ↔ p) ∧ (p ↔ q) SOLUCIÓN:
4) p → q [(p → −q) → −(q ← p)] → −(p → −q)
5) q ↔ (p ∨ q) [−(−p ∨ −q) ∨ −(q ∨ p)] → −(−p ∨ −q)
−[(p ∧ q) ∨ −(q ∨ p)] ∨ (p ∧ q)
(q ∨ p) ∨ (p ∧ q) ≡ q ∨ p ∨ (p ∧ q)
Son ciertas:
≡q∨p
A) Solo 2 y 4
B) Solo 1 y 4 A) p + p + q + q + q ≡ q ∨ p
C) Solo 1 y 3
D) Solo 1, 4 y 5 RESPUESTA: A
E) Todas

2
 LÓGICA Práctica 05

EJERCICIOS PROPUESTOS 7. La fórmula proposicional:

1. Determine el equivalente de: [(m  n)  m)] − [ (m  n)  m]

{[(p  q)  r] → p}  (s → s) Equivale a:

A) p  q B) s → s C) p A) m → n B) (m  m) C) (n  m)

D) p → p E) 0 D) m  m E) (m  m)

2. ¿Cuál no sería una equivalente de p  q? 8. Dados los siguientes esquemas:

A) p  q A = n → (m  n) B = n  m
B) q  p
C) p  q 1) “A  B” equivale a “A  B”
D)(q  p) 2) “B → A” es una tautología
E) p  q 3) La negación de A equivale a B
4) La negación de B no equivale a A
3. El siguiente esquema molecular: 5) “A  B” es una contradicción

(q  p)  p Son inciertas, excepto:

Tiene como equivalente a: A) 1, 2 y 4 B) 1, 3 y 4 C) 2, 3 y 5

D) 1, 2 y 5 E) 3, 4 y 5
A) p  q B) p  q C) p ⊻ q
D) (q ⊻ p) E) p  q 9. Reducir equivalentemente el siguiente esquema:

4. Dado el esquema: (p  q)  (p  q  p  q  …  p  q)

[(m  n)  (p  m)] → n 2022 veces

Tiene como equivalente a: A) p  q B) p C) p  q

D) p  q E) q  p
A) m  n
B) n → (m  p) 10. Si se define: p  q = (p  q)  (p  q)
C) n  (p  m)
D) m  p Hallar el mínimo equivalente de:
E) n → n
[(p  q) → p] → [q →(q  p)]
5. Hallar el mínimo equivalentemente el siguiente
esquema: A) q B) q  q C) p  p
D) p E) q
(p  q)  [p  (r → p)]
11. El esquema complejo:
A) p  q B) 1 C) p
D) p  q E) p [(n  m)  (p  m)]  [(m ⊻ n)  n)]

6. ¿Cuáles de las siguientes proposiciones no sería Es equivalente a:

una equivalente de:
A) m B) p C) n  m
[ r  (p  r)] D) m  n E) m → m

A) (p  r)  r 12. La proposición:

B) (p  r)  r
C) (p  r) → r (p → q)  (q → p)]  [(p  q)  (p  q)]
D) r → (p  r)
E) (p  r) → r Equivale a:

A) q → p B) p → q C) (p → q)
D) (p → q) E) p → q

3
 LÓGICA Práctica 05

13. Si: p ↓ q se define como ∼q ∧ ∼p, entonces el 18. La fórmula: p → (q  r) es equivalente a:

equivalente a p ↔ q es:
I. (p  q)  (p  r)
I. (q ↓ p) ∨ (∼p ↓ q) II. (p → q)  (p → r)
II. (∼q ↓ p) ∨ (∼p ↓ q) III. (p  q)  (p  r)
III. (∼p ↓ ∼q) ∨ (p ↓ q)
IV. (p  q)  (p  r)
A) solo I B) solo II C) solo III V. (p  r)  (p  q)
D) I y II E) II y III
Son ciertas:
14. Dada la formula lógica: (p  q)  r; sus
equivalencias son: A) II, III y V B) I, III y V C) II, III y IV
1. (p  q)  r D) I, II y V E) I, II y III
2. r  (p  q)
3. (q  p)  r 19. La fórmula: (A  B)  (B  A); equivale a:
4. (p  q)  r
I. (A → B) → (A → B)
5. (p  q)  r
II. (A → B) → (A → B)
Son falsas: III. (A → B) → (B → A)
IV. (A → B) → (B → A)
A) 1, 3 y 5 B) 2 y 5 C) 1, 3 y 4 V. (B → A) → (A → B)
D) Ninguna E) Todas
Son ciertas excepto:
15. La fórmula lógica: (A  B)  (A  B); equivale a:
A) II y IV B) II, III y IV C) I, III y V
I. (B  A) → (A  B) D) II, III y V E) II y V
II. (B  A) → (A  B)
III. (B  A)  (A  B) 20. La fórmula proposicional: m  (n  p),
IV. (A  B)  (A  A) equivale a:
V. (B  A)  (A  B)
I. [(m  n)  p]  [m  (n  p)]
Son ciertas: II. (m  n)  (m  p)
III. m  (p  n)
A) I y IV B) III y V C) III, IV y V IV. (m  n)  (m  p)
D) I y V E) II, III y IV V. m → (p  n)  m → (n  p)
16. Se define: p  q  p  q Son ciertas:

Si: (p  q)  p  x; es una tautología, entonces A) I y IV B) I, III y V C) II, III y IV

“x” equivale a: D) I y II E) III

A) p  q B) (p  q) C) p  q
D) p  q E) p

17. Son fórmulas equivalentes:

I. p  (p  q)
II. p  q
III. (q → p) → p
IV. p  (p  q)

Se cumple:

A) I y II B) I, II y III C) II y III
D) I y IV E) III y IV