Centro de Alumnos de Ingeniería Eléctrica.

@CAEUSACH
@BIENESTAR.MBI

Equivalencias en Lógica Proposicional Nombre

p∨∼p≡V Ley de exclusión del término medio

p ∧ ∼p ≡ F Ley de contradicción

p∨F≡p Leyes de identidad

p∧V≡p
p∨V≡V Leyes de dominación

p∧F≡F
p∨p≡p Leyes de idempotencia

p∧p≡p
∼ (∼ p) ≡ p Ley de doble negación

p∨q≡q∨p Leyes conmutativas

p∧q≡q∧p
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r Leyes asociativas

p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Leyes distributivas

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
∼ (p ∧ q) ≡ ∼ p ∨ ∼ q Leyes de De Morgan

∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
p⇒q≡∼p∨q Definición de la implicación

p ⇔ q ≡(p⇒q) ∧ (q⇒p) Definición de la coimplicación

(∼ p ∨ q) ∧ (∼ q ∨ p)

p ∨ (p ∧ r) ≡ p Absorción

p ∧ (p v r) ≡ p
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

Ejercicios

I. DEMOSTRAR MEDIANTE TABLA DE VERDAD Y POR PROPIEDADES

1. ~ [(~ p ⇒ q) ∧ ~ (p ∧ q)]∧ q

~ [ (~ p ⇒ q) ∧ ~ (p ∧ q) ] ∧q

Para construir una tabla de verdad nos fijamos en la cantidad de variables para hacer las filas y en la
cantidad de operaciones para hacerlas columnas.

Columna Columna Columna 3 Columna Columna Rpta

1 2 4 5
p q ~p⇒q p∧q ~ (p ∧ q) [(~ p ⇒ q) ∧ ~ (p ∧ q)] ~ [(~ p ⇒ q) ∧ ~ (p ∧ q)] (5) ∧ q
∼(~ p) ∨ q Negación (1) ∧ (3) ~ (4)
pvq de (2)
V V V V F F V V
V F V F V V F F
F V V F V V F F
F F F F V F V F

Contingencia
Usando propiedades

~ [ (~ p ⇒ q) ∧ ~ (p ∧ q) ] ∧ q Enunciado
~ [ (p v q) ∧ ~( p ∧ q) ] ∧ q Definición de la implicancia (~ p ⇒ q ) = ~ (~ p) v q
~ [ ((p v q) ∧ ~p ) ∧ q ] ∧ q Distribución
~ [ (p ∧ ~p) v (q ∧ ~p ) ∧ q ] ∧ q Ley de contradicción p ∧ ~p
~ [ (F) v (q ∧ ~p ) ∧ q ] ∧ q Identidad
~ [ q ∧ ~p ∧ q ] ∧ q Asociatividad
~ [ ~p ∧ q ] ∧ q Idempotencia
[p v ~ q ] ∧ q Morgan
(p ∧ q ) v (~ q ∧ q) Distribución
(p ∧ q ) v (F) Contradicción
(p ∧ q ) Identidad
Contingencia

2. Demostrar mediante tabla de verdad y propiedades

[(p ⇒ q) ⇒ q] ⇒ (p ∨ q)

[ (p ⇒ q) ⇒ q] ⇒ (p ∨ q)
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

Confeccionar la tabla de verdad

Columna 1 Columna 2 Columna Columna 4

3
p q p⇒q (p ⇒ q) ⇒ q p∨q [(p ⇒ q) ⇒ q] ⇒ (p ∨ q)
∼p∨q ∼ (p ⇒ q) ∨ q ∼ (2) v (3)
∼ (1) v q
V V V V V V
V F F V V V
F V V V V V
F F V F F V

Resultado: verdadero siempre TAUTOLOGIA

[(p ⇒ q) ⇒ q] ⇒ (p ∨ q) Propiedades usadas

[(∼p v q) ⇒ q] ⇒ (p ∨ q) Definición implicancia
[∼ (∼p v q) v q] ⇒ (p ∨ q) Definición implicancia
[(p ∧ ∼q) v q] ⇒ (p ∨ q) Morgan
[(p v q ) ∧ ( q v ∼q) ] ⇒ (p ∨ q) Distribución
[(p v q ) ∧ ( V) ] ⇒ (p ∨ q) Exclusión de término medio
(p v q ) ⇒ (p ∨ q) Identidad

Podrías terminar aquí y decir que P ⇒ P es una tautología, pero en caso de no verlo
continuas…

∼ (p v q ) v (p ∨ q) Definición implicancia
(∼ p ∧ ∼ q ) v (p ∨ q) Morgan
[(∼ p ∧ ∼ q ) v p ] ∨ q Asociatividad
[(∼ p v p ) ∧ ( p v ∼ q ) ] ∨ q Distribución
[(V) ∧ ( p v ∼ q ) ] ∨ q Exclusión de término medio
(p v ∼q) ∨q Identidad
p v (∼ q ∨ q) Asociatividad
p v ( V) Exclusión de término medio
V Dominación
Tautología

3. [(p ⇒ q) ∧ (q ⇒ r)]⇒ (p ⇒ r)

Columna Columna Columna 3 Columna RTA

1 2 4
p q r p⇒q (q ⇒ r) (p ⇒ q) ∧ (q ⇒ r)] p⇒r [(p ⇒ q) ∧ (q ⇒ r)]⇒ (p ⇒ r)
∼p∨q ∼q∨r (1) ∧ (2) ∼p∨r
∼ (3) v (4)
V V V V V V V V
V V F V F F F V
V F V F V F V V
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

Tautología!
Esta se conoce como propiedad o tautología de la TRANSITIVIDAD

II. RESUELVA
1. Sabiendo que la proposición compuesta ~ p ∨ [q ⇒ (~ r∨ ~ s)] es Falsa, determine el valor de
verdad de [~ 𝒑 ⇒ (~ 𝒓 ∨ 𝒒)] ∨ 𝒔

FORMA 1:
Usando tabla de verdad
~ p ∨ [q ⇒ (~ r ∨ ~ s ) ]

1 2 3
p q r s (~ r v ~ s) [q ⇒ (~ r v ~ s)] ~ p v [q ⇒ (~ r v ~ s)]
~q v (1) ~ p v (2)
V V V V F F F
V V V F V V V
V V F V V V V
V V F F V V V
V F V V F V V
V F V F V V V
V F F V V V V
V F F F V V V
F V V V F F V
F V V F V V V
F V F V V V V
F V F F V V V
F F V V F V V
F F V F V V V
F F F V V V V
F F F F V V V

De la tabla sabemos que p, q, r, s son verdaderas

 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

Ya conociendo el valor de verdad de las variables podemos resolver:

[~ 𝑝 ⇒ (~ 𝑟 𝑞)] ∨ 𝑠
[~ 𝑉 ⇒ (~ 𝑉˅ 𝑉)]˅ 𝑉
𝑉 𝑜 𝐶𝑢𝑎𝑙𝑞𝑢𝑖𝑟 𝑐𝑜𝑠𝑎 𝑒𝑠 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜
[~ 𝑝 ⇒ (~ 𝑟 𝑞)] ∨ 𝑠 = 𝑉

FORMA 2:
Otra manera de saber los valores de las variables es:
~ p ∨ [q ⇒ (~ r ∨ ~ s)] = F
Para que un o sea falso ambas partes deberán serlo, como se muestra a continuación:

disyunción
p q pvq
V V V
V F V
F V V
F F F

Entonces podemos asumir que:

~p=F y que [q ⇒ (~ r ∨ ~ s)] = F
De la primera parte se desprende que P = V
Ahora desarrollaremos la segunda parte:
[q ⇒ (~ r ∨ ~ s)] = F (aplicamos definición de implicancia)
[~ q v ~ r v ~ s)] = F (al ser solo v, podemos concluir lo mismo que antes todas deben ser falsas
para que la expresión sea falsa)
~q=F
~r=F
~s=F
Por lo tanto r, s, q = V

Ya conociendo el valor de verdad de las variables podemos resolver:

[~ 𝑝 ⇒ (~ 𝑟 𝑞)] ∨ 𝑠
[~ 𝑉 ⇒ (~ 𝑉˅ 𝑉)]˅ 𝑉
𝑉 𝑜 𝐶𝑢𝑎𝑙𝑞𝑢𝑖𝑟 𝑐𝑜𝑠𝑎 𝑒𝑠 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜
[~ 𝑝 ⇒ (~ 𝑟 𝑞)] ∨ 𝑠 = 𝑉

2. Si se sabe que: p ∧ q es verdadera y además r ∧ p es falso, determine el valor de:

(r ∨ q) ⇒ (r ∧ q)

Solución:
p∧q=V
r∧p=F
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

p ∧ q = V implica p = V y q = V p ∧ r = F sabiendo que p = V implica que r = F

➢ (r ∨ q) ⇒ (r ∧ q)
➢ (F ∨ V) ⇒ (F ∧ V)
➢ V⇒F
➢ ∼V∨F
➢ F∨F
➢ F

3. Sabiendo que: p ⇒ q es F, r ∧ p es F, determine el valor de: p ⇔ r

Solución:

p ⇒ q = F; implica p = V y q = F p ∧ r = F sabiendo que p = V implica que r = F

➢ p⇔r
➢ (p ⇒ r) ∧ (r ⇒ p)
➢ (∼ p ∨ r) ∧ (∼ r ∨ p)
➢ (∼ V ∨ F) ∧ (∼ F ∨ V)
➢ (F) ∧ (V)
➢ F

4. De la falsedad de (p ⇒~ q) ∨ (~ r ⇒ s) deduzca el valor de:

i) (~ p∧ ~ q) ∨ (~ q) Resp. F
ii) [(~ r ∨ q) ∧ q]⇔ [(~ q ∨ r) ∧ s] Resp. F
iii) (p ⇒ r) ⇒ [(p ∨ q) ∧ (~ q)] Resp. V

Explicaremos como encontrar los valores de cada palabra y de tarea debes comprobar los valores
de i, ii, iii.
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

(p ⇒~ q) ∨ (~ r ⇒ s) = F
Por disyunción se entiende que ambas partes deben ser falsas para que toda la expresión los sea

(p ⇒ ~ q) ∨ (~ r ⇒ s) = F
Ambas implicancias deben ser falsas
(p ⇒ ~ q) = F ; (~ r ⇒ s) = F
Usamos definición de implicancia
~p v ~q = F rvs=F
~p=F r=F
~q=F s=F
p=V
q =V

Con lo anterior se obtiene el valore de p, q, r, s.

Ahora se puede resolver los puntos i, ii, iii ( tarea)

III. DEMUESTRE MEDIANTE ALGEBRA DE PROPOSICIONES:

Como nos pide demostrar compararemos lo que esta delante del ⇔ con lo que esta después y si
llegamos al mismo resultado está demostrado.

a. [(p ∨ q) ∧ ~ p]⇔ (~ p ∧ q)
b. [~ (p ∨ q) ∨ (~ p ∧ q)]⇔~ p
c. [p ⇒ (q ∧ r)]⇔ [(p ⇒ q) ∧ (p ⇒ r)]
d. [( p ⇒ q) ∧ p]⇒ q
e. [( p ⇒ q) ∧ (~ p)]⇒~ p
f. [( p ⇒ q) ∧ (q ⇒ r)]⇒ ( p ⇒ r)
g. [( p ∨ q) ∧ (~ p)]⇒ q
h. (p ∧ q) ⇒ p ( p ∧ q) ⇒ q

Resolveremos algunas y el resto es tarea

[(p ∨ q) ∧ ~ p]⇔ (~ p ∧ q)
[(p ∨ q) ∧ ~ p] ⇔ (~ p ∧ q) Propiedad usada
[(p ∧ ~ p) v (q ∧ ~ p)] ⇔ (~ p ∧ q) Distribución de ~ p
[F v (q ∧ ~ p)] ⇔ (~ p ∧ q) Contradicción en (p ∧ ~ p)
[q ∧ ~ p] ⇔ (~ p ∧ q) Identidad en [F v (q ∧ ~ p)]
[~ p ∧ q] ⇔ (~ p ∧ q) Conmutatividad
Queda demostrado ya que llegamos al mismo resultado, Tautología
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

[~ (p ∨ q) ∨ (~ p ∧ q)]⇔~ p

[~ (p ∨ q) ∨ (~ p ∧ q)] ⇔~ p Nombre propiedad

[(~p ∧ ~q) ∨ (~ p ∧ q)] ⇔~ p Morgan en ~ (p ∨ q)
[~p ∧ (~q ∨ q)] ⇔~ p Distribución de ~ p
[~p ∧ V] ⇔~ p Por exclusión de término medio en (~q ∨ q)
~p ⇔~ p Identidad
~ p ⇔~ p Demostración finalizada, es tautología

[p ⇒ (q ∧ r)]⇔ [(p ⇒ q) ∧ (p ⇒ r)]

[p ⇒ (q ∧ r)] ⇔ [(p ⇒ q) ∧ (p ⇒ r)] Propiedades usadas

~p v (q ∧ r) ⇔ [(p ⇒ q) ∧ (p ⇒ r)] Definición implicancia
(~p v q) ∧ (~p v r) ⇔ [(p ⇒ q) ∧ (p ⇒ r)] Distribución
(p ⇒ q) ∧ (p ⇒ r) ⇔ [(p ⇒ q) ∧ (p ⇒ r)] Definición implicancia
Demostración finalizada, es verdadera TAUTOLOGIA

IV. USANDO PROPIEDADES REDUCIR LAS EXPRESIONES

Cuando nos piden REDUCIR, debemos llegar a la menor expresión posible

1. ~( p ⇒ q ) ⇔ ~ (q⇒ p)

~( p ⇒ q ) ⇔ ~ (q⇒ p) Propiedades usadas

~(~ p v q ) ⇔ ~ (~q v p) Definición de implicancia
(p ∧ ~ q ) ⇔ (q ∧ ~p) Leyes de Morgan
[(p ∧ ~ q ) ⇒ (q ∧ ~p) ] ∧ [ (q ∧ ~p) ⇒ (p ∧ ~ q Definición de coimplicancia
)]
[~ (p ∧ ~ q ) v (q ∧ ~p)] ∧ [(~(q ∧ ~p) v (p ∧ ~ q Definición de implicancia
)]
[(~ p v q ) v (q ∧ ~p) ] ∧ [(~q v p) v (p ∧ ~ q ) ] Leyes de Morgan
[q v (~ p ∧ ~p) ] ∧ [(~q v p) v (p ∧ ~ q ) ] Distribución
[q v ~p ] ∧ [(~q v p) v (p ∧ ~ q ) ] Idempotencia
[q v ~p ] ∧ [~q v ( p v (p ∧ ~ q ) ] Asociatividad
[q v ~p ] ∧ [~q v ( (p v p ) ∧ (p v ~ q ) ] Distribución
[q v ~p ] ∧ [~q v ( (p ) ∧ (p v ~ q ) ] Idempotencia
[q v ~p ] ∧ [~q v p ] Absorción en (p ) ∧ (p v ~ q )
( p ⇒ q ) ∧ (q⇒ p) Definición implicancia
p⇔q Definición de coimplicancia
 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

2. [( ~ q ⇒ ~p) ∧ ~ (~ p ⇒ ~q) ] v ( p ⇒ ~q)

[( ~ q ⇒ ~p) ∧ ~ (~ p ⇒ ~q) ] v ( p ⇒ ~q) Propiedades usadas

[( q v ~p) ∧ ~ (p v ~q) ] v (~p v ~q) Definición de implicancia
[( q v ~p) ∧ (~ p ∧ q) ] v (~p v ~q) Leyes de Morgan
[( q v ~p) ∧ ~ p) ∧ q ] v (~p v ~q) Asociatividad
[~ p ∧ q ] v (~p v ~q) Absorción
([~ p ∧ q ] v ~p ) v ~q Asociatividad
~p v ~q Absorción
~(p ∧ q) Leyes de Morgan

3. [~ p ⇒ ~( p ⇒ q)] v [[ p ∧ ( p ⇒ q )] ⇒ p ] Rpta: Verdadero. (tarea)

V. PASEMOS FRASES A LOGICA

símbolos que, junto con las proposiciones básicas, nos permiten crear nuevas proposiciones, son:
~: se lee no
^: se lee y
v: se lee o
⇒: se lee implica, entonces, etc.
⇔: Se lee equivalente con, etc.

1. No estudie para el examen final porque trabaje hasta tarde; ya que llegaron muchos clientes
P: estudiar para el examen
Q: trabaje hasta tarde
R: llegaron muchos clientes
No P porque Q; ya que R
R ⇒ (Q ⇒ ~ P)

2. Un anciano quiere dejar una herencia a su nieta Priscila, pero como esta recién nacida el abuelo
piensa en unas condiciones:
a. Priscila recibirá la herencia cuando cumpla 18 años
b. Si Priscila no cumple 18 años no recibirá la herencia
c. No puede ocurrir que, Priscila cumpla 18 y no reciba la herencia

Su abogado le informa que algunas de sus condiciones son equivalentes ¿Cuáles?

P: Priscila recibe la herencia

Q: Priscila cumplirá 18 años

a. Priscila recibirá la herencia cuando cumpla 18 años

Q ⇒ P = ~ Q vP

b. Si Priscila no cumple 18 años no recibirá la herencia

 Centro de Alumnos de Ingeniería Eléctrica.
@CAEUSACH
@BIENESTAR.MBI

~ Q⇒ ~ P= Q v ~P = P ⇒ Q

c. No puede ocurrir que, Priscila cumpla 18 y no reciba la herencia

~ ( Q ^ ~ P) = ~ Q v P

Por lo tanto, a y c son equivalentes.

¡Mucho éxito en el control!