CICLO REPASO 2022

CURSO: ARITMETICA
TEMA: LOGICA
PROPOSICIONAL
PROPOSICIONES LÓGICAMENTE EQUIVALENTES
Dos proposiciones 𝑝 y 𝑞 se dicen que son equivalentes si poseen los mismos valores de verdad en su
matriz principal.
Se escribe 𝑝 ≡ 𝑞
Se lee: 𝑝 es equivalente a 𝑞
𝑞 es equivalente a 𝑝

Nótese que para demostrar que dos proposiciones son equivalentes podemos usar una de las formas más
simples como es el uso de las TABLAS DE VERDAD, cabe señalar que no es el único método que se puede
utilizar.
Recordemos que:

𝑝 𝑞 𝑝𝑞 𝑝𝑞 𝑝→𝑞 𝑝𝑞 𝑝𝑞

V V V V V V F

V F F V F F V
F V F V V F V
F F F F V V F
Ejemplo 1
Usando las tablas de verdad determine si las proposiciones 𝑝 →  𝑞 y (𝑝  𝑞) son lógicamente
equivalentes.

Resolución:
Para realizar dicha demostración debemos elaborar las tablas de valores de verdad.
MP MP
𝑝 𝑞 𝑝 → 𝑞 𝑝  𝑞
V V 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹
V F 𝑉 𝑉 𝑉 𝐹 𝑉 𝑉
F V 𝐹 𝑉 𝐹 𝑉 𝑉 𝐹
F F 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉

Como podemos observar en la TABLA las dos matrices principales tienen los
mismos valores de verdad, por lo que podemos concluir que:

𝑝 →  𝑞  𝑝  𝑞
Ejemplo 2
Usando las tablas de verdad determine si las proposiciones 𝑝  (𝑝 ∧ 𝑞) y ( 𝑝  𝑞 ) son lógicamente
equivalentes.

Resolución:
Para realizar dicha demostración debemos elaborar las tablas de valores de verdad.
2 1
MP MP
𝑝 𝑞 𝑝  ( 𝑝 ∧ 𝑞 ) 𝑝  𝑞
V V 𝑉 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉
V F 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝐹
F V 𝐹 𝑉 𝑉 𝑉 𝑉 𝐹 𝑉 𝑉
F F 𝐹 𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹

Como podemos observar en la TABLA las dos matrices principales tienen los
mismos valores de verdad, por lo que podemos concluir que:
𝑝  (𝑝 ∧ 𝑞 )  𝑝  𝑞
Ejemplo 3
Determine si las siguientes proposiciones son lógicamente equivalentes
I. 𝑝  𝑞 → 𝑝
II. ( 𝑞  𝑝 )
Resolución:

I. 𝑝  𝑞 → 𝑝 II. ( 𝑞  𝑝 )
MP MP
𝑝 𝑞 ( 𝑝  𝑞) → 𝑝 𝑝 𝑞  (𝑞  𝑝 )
V V 𝐹 𝐹 𝑉 𝑉 𝑉 V V 𝑉 𝑉 𝐹 𝐹
V F 𝐹 𝐹 𝐹 𝑉 𝑉 V F 𝑉 𝐹 𝐹 𝐹
F V 𝑉 𝑉 𝑉 𝐹 𝐹 F V 𝐹 𝑉 𝑉 𝑉
F F 𝑉 𝐹 𝐹 𝑉 𝐹 F F 𝑉 𝐹 𝐹 𝑉

Observamos en las tablas I y II, que sus matrices principales tienen los mismos valores de verdad.
 Las proposiciones I y II son lógicamente equivalentes.
Ejemplo 4
Determine si las siguientes proposiciones son equivalentes
r: Si Javier aprobó el examen de admisión, ingresó a la Universidad.
s: No es el caso de que Javier apruebe el examen de admisión y no ingrese a la Universidad.
Resolución:
Sean las proposiciones: 𝑝: Javier aprobó el examen de admisión. 𝑟: 𝑝 → 𝑞
→ ቊ𝑠: ~(𝑝 ∧ ∼ 𝑞)
𝑞: Javier ingresó a la Universidad 2
1
MP MP
𝑝 𝑞 𝑝 → 𝑞  ( 𝑝 ∧ 𝑞 )
V V 𝑉 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹
V F 𝑉 𝐹 𝐹 𝐹 𝑉 𝑉 𝑉
F V 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹
F F 𝐹 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉

Observamos en la TABLA que las dos matrices principales de "𝑝 → 𝑞" y "~(𝑝 ∧ ∼ 𝑞)" tienen los mismos
valores de verdad, entonces podemos concluir que:
p → q  ( p  q )
Ejemplo 5
Dadas las proposiciones:
I. Si Oscar no baila, entonces no es alegre.
II. Oscar no es alegre o baila.
Indica si dichas proposiciones son o no son lógicamente equivalentes.
Resolución: Simbolizamos: 𝑝: Oscar baila.
𝑞: Oscar es alegre.
I. Si Oscar no baila, entonces no es alegre. II. Oscar no es alegre o baila.
𝑝 → 𝑞 𝑞  𝑝

𝑝 𝑞 𝑝 → 𝑞 𝑝 𝑞 𝑞  𝑝

V V 𝐹 V V 𝐹 𝑉 𝑉
𝐹 𝑉
V F V F 𝑉 𝑉 𝑉
𝐹 𝑉 𝑉
F V F V 𝐹 𝐹 𝐹
𝑉 𝐹 𝐹
F F 𝑉 F F 𝑉 𝑉 𝐹
𝑉 𝑉
Observamos en las TABLAS que las matrices principales de (  𝑝 →  𝑞 ) y (  𝑞  𝑝 ) tienen los mismos valores
de verdad, entonces concluimos que:  Las proposiciones I y II sí son lógicamente equivalentes.
CIRCUITOS LÓGICOS
Son una representación gráfica de las proposiciones y los conectores lógicos a través de arreglos de
interruptores y de circuitos los cuales permiten o no, el paso de la corriente.

Circuito en serie Circuito en paralelo

p q p

pq
q

pq

Dos circuitos lógicos son equivalentes si las proposiciones que representan son equivalentes.
CIRCUITOS LÓGICOS
Ejemplo 6
Simplifique el siguiente circuito:
~𝑝
~𝑝
𝑞

Resolución: 2
1
Simbolizamos el circuito: MP

( ~𝑝  𝑞 )  ~𝑝 𝒑 𝒒 ~𝒑 ∨ 𝒒  ~𝒑
V V 𝐹 𝑉 𝑉 𝐹 𝐹
V F 𝐹 𝐹 𝐹 𝐹 𝐹
F V 𝑉 𝑉 𝑉 𝑉 𝑉
F F 𝑉 𝑉 𝐹 𝑉 𝑉

 El circuito es equivalente a "~𝒑“.

Ejemplo 7 ~𝑝 ~𝑞
Simplifique el siguiente circuito: ~𝑞
~𝑞

Resolución:
Simbolizamos el circuito: 3
[(~𝑝  ~𝑞)  ~𝑞 ]  ~𝑞 1 2
MP
𝒑 𝒒 ~𝒑 ∧ ~𝒒 ∨ ~𝒒 ∧ 𝒒
V V 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹
V F 𝐹 𝐹 𝑉 𝑉 𝑉 𝑉 𝑉
F V 𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝐹
F F 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉

El circuito es equivalente a "~𝑞“.

Ejemplo 8 ~𝑞
Simplifique el siguiente circuito: ~𝑞
𝑝
𝑞 ~𝑝

Resolución: 4
Simbolizamos el circuito:
[ (~𝑞  𝑝 )  ~𝑞 ]  (𝑞  ~𝑝 ) 1 2 3
MP
𝑝 𝑞 ~𝑞 ∨ 𝑝 ∧ ~𝑞 ∨ ( 𝑞 ∧ 𝑝 )
V V 𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉 𝐹 𝐹
V F 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝐹 𝐹 𝐹
F V 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉 V 𝑉 𝑉
F F 𝑉 𝑉 𝐹 𝑉 𝑉 𝑉 𝐹 𝐹 𝑉

 El circuito es equivalente a “"" (𝑝 ∧ 𝑞)”.

LEYES DEL ALGEBRA DE PROPOSICIONES
Ley de IDEMPOTENCIA
𝑝 ∨ 𝑝 ≡𝑝
𝑝 ∧ 𝑝 ≡𝑝

Ley de CONMUTATIVA
𝑝 ∨ 𝑞 ≡𝑞 ∨ 𝑝
𝑝 ∧𝑞 ≡𝑞 ∧ 𝑝

Ley de ASOCIATIVA

𝑝 ∨ 𝑞 ∨ 𝑟≡ 𝑝 ∨ 𝑞 ∨ 𝑟
𝑝 ∧ 𝑞 ∧ 𝑟≡ 𝑝 ∧ 𝑞∧𝑟
LEYES DEL ALGEBRA DE PROPOSICIONES

Ley de LA DOBLE NEGACION

∼ (∼ 𝑝) ≡ 𝑝

Ley de IDENTIDAD
𝑝 ∨ 𝑉 ≡𝑉
𝑝 ∨ 𝐹 ≡𝑝
𝑝∧ 𝑉 ≡𝑝
𝑝∧𝐹 ≡𝐹

Ley de COMPLEMENTO
𝑝 ∨ (∼ 𝑝) ≡ 𝑉
𝑝 ∧ (∼ 𝑝) ≡ 𝐹
LEYES DEL ALGEBRA DE PROPOSICIONES

Ley de CONDICIONAL
𝑝→𝑞 ≡∼𝑝∨𝑞

Ley de ABSORCION
𝑝 ∨ 𝑝∧ 𝑞 ≡𝑝
𝑝∧ 𝑝∨𝑞 ≡𝑝
𝑝 ∨ ∼𝑝∧ 𝑞 ≡𝑝 ∨𝑞
𝑝∧ ∼𝑝∨𝑞 ≡𝑝∧𝑞

Ley de DE MORGAN

∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧ ∼ 𝑞
∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION
PROBLEMA

SOLUCION