Está en la página 1de 3

Clase Nº 2 Lógica Proposicional Ing.

Edgar Alberto Iriarte Mercado

d) Equivalencia Lógica (  ). Si las tablas de verdad de dos proposiciones


compuestas o fórmulas proposicionales son idénticas. (P  Q).

Determina si las siguientes fórmulas proposicionales son equivalentes.

1) p  q;  p  q 2)  (p  q); pq

3) p  q; (p  q)  (q  p) 4)  (p  q); p q

Para verificar si son equivalentes debemos elaborar sus respectivas tablas de


verdad, las anteriores se conocen como tablas de verdad elegantes, en tanto
que las siguientes y en adelante realizaremos tablas simplificadas.

1) 𝑝 ⇒ 𝑞 ~ 𝑝 ∨ 𝑞 2) ~ (𝑝 ⇒ 𝑞) 𝑝 ∧ ~ 𝑞
V V V F V V F V V V V F F
V F F F F F V V F F V V V
F V V V V V F F V V F F F
F V F V V F F F V F F F V

Al obtener los mismos valores de verdad en ambas columnas, podemos indicar


que: 1) 𝑝 ⇒ 𝑞 ≡ ~𝑝 ∨ 𝑞 de igual modo 2) ~(𝑝 ⇒ 𝑞) ≡ 𝑝 ∧ ~𝑞
Es importante observar que cuando una proposición esta negada se puede
colocar sus valores de verdad debajo la negación sin los de la proposición.

3) 𝑝 ⇔ 𝑞 (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝) 4) ~ (𝑝 ⇔ 𝑞) 𝑝 ∨ 𝑞
V V V V V V V V V V F V V V V F V
V F F V F F F F V V V V F F V V F
F F V F V V F V F F V F F V F V V
F V F F V F V F V F F F V F F F F

3) 𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝) lo propio 4)~(𝑝 ⇔ 𝑞) ≡ 𝑝 ∨ 𝑞

Negación Reiterada o Doble Negación: Por equivalencia lógica  ( p)  p.

𝑝 ~ 𝑝 ~(~ 𝑝)
V F V
F V F
Clase Nº 2 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

e) Condicionales Asociados.

1) pq Directo 2) qp Recíproco


3)  p   q Contrario o inverso 4)  q   p Contra recíproco

1 2 3 4
𝑝 ⇒ 𝑞 𝑞 ⇒ 𝑝 ~𝑝 ⇒ ~𝑞 ~𝑞 ⇒ ~𝑝
V V V V V V F V F F V F
V F F F V V F V V V F F
F V V V F F V F F F V V
F V F F V F V V V V V V

En base a los resultados de las tablas de verdad podemos observar que son
equivalentes el condicional directo con el condicional contra recíproco como
también el condicional contrario con el condicional recíproco

𝑝 ⇒ 𝑞≡~ 𝑞 ⇒ ~ 𝑝 𝑞 ⇒ 𝑝≡ ~ 𝑝 ⇒ ~ 𝑞

Ejemplos:
1) Efectúa la doble negación a la siguiente proposición:
p: Los horóscopos son fantasías
 p: Los horóscopos no son fantasías
 ( p): No es cierto que los horóscopos no son fantasías

2) Indica las proposiciones simples del condicional y negarlo:


Si un estudiante protesta entonces es un rebelde sin causa.
p: Un estudiante protesta q: Es un rebelde sin causa
Por equivalencia lógica tenemos que:  (p  q)  p   q
Por tanto la negación será:
Un estudiante protesta y no es un rebelde sin causa
Clase Nº 2 Lógica Proposicional Ing. Edgar Alberto Iriarte Mercado

3) Indica las proposiciones simples del bicondicional y negarlo.


(x > a) si y solo si (a < x)
p: x > a q: a < x
Por equivalencia lógica tenemos: ~(𝑝 ⇔ 𝑞) ≡ 𝑝 ∨ 𝑞

Por tanto la negación será: (x > a) ∨ (a < x)

4) Halla los condicionales asociados del siguiente condicional.


Si lloras entonces sufres
p: Lloras q: Sufres Luego su simbología será: p  q
q  p: Si sufres entonces lloras
 p   q: Si no lloras entonces no sufres
 q   p: Si no sufres entonces no lloras

5) Determina el condicional asociado equivalente al condicional dado.


Si practicas entonces aprendes Simbolizando será: p  q
Luego el equivalente
 q   p: Si no aprendes entonces no practicas

También podría gustarte