UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SÁNCHEZ CARRIÓN

FACULTAD DE INGENIERÍA INDUSTRIAL, SISTEMAS E

INFORMÁTICA ESCUELA PROFESIONAL DE INGENIERÍA INDUSTRIAL

PRESENTACIÒN DE TAREA
CURSO: Lógica Matemática
TEMA: Lógica Proposicional
DOCENTE: Salazar Santibañez, Alejandro Manuel
RESPONSABLE:

 Rojas Tinoco , Pedro Alfonso

HUACHO-PERÚ
2022
 TAREA
1.-Exprese cada una de las siguientes proposiciones:
a) Karina tendrá una buena educación si pone sus estudios antes que
su interés en ser estrella de cine.
p = Karina tendrá una buena educación
q = pone sus estudios antes que su interés de ser una estrella de cine.
𝑞→𝑝
b) Si Homero aprueba su curso de programación I y termina su proyecto
de estructura de datos, podrá tomar el curso de lenguaje de programación
el próximo semestre.
p = Si Homero aprueba su curso de programación I
q = termina su proyecto de estructura de datos.
r = podrá tomar el curso de lenguaje de programación el próximo semestre.
(𝑝 ⋀ 𝑞) → 𝑟
c)Norma está haciendo su tarea de matemáticas y Claudia está
practicando sus lecciones de piano.
p = Norma está haciendo su tarea de matemáticas.
q = Claudia está practicando sus lecciones de piano.
𝑝𝖠𝑞
d)Si Lorenzo se va de vacaciones, entonces él se divertirá si no le
preocupa viajar en avión.
p = Lorenzo se va de vacaciones.
q = él se divertirá.
r = preocupa viajar en avión
𝑝 → (𝑞 →∼ 𝑟)
2.-Sea M el circulo lógico más simple correspondiente a la proposición
[(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑟)] 𝖠 [(𝑝 𝖠 𝑠) ∨ (𝑝 𝖠∼ 𝑠)] y N el circuito lógico más
simple equivalente a: [(𝑞& ∼ 𝑝) ∨ (∼ 𝑝&𝑞)] ∨ (∼ 𝑞 ∨ 𝑝); construir el
circuito lógico simplificado correspondiente a: 𝑀 → 𝑁.
𝑀: [(𝑝 𝖠 𝑞) ∨ (𝑞 𝖠 𝑟)] 𝖠 [(𝑝 𝖠 𝑠) ∨ (𝑝 𝖠∼ 𝑠)]
 [𝑝 𝖠 (𝑞 ∨ 𝑟)] 𝖠 [𝑝 𝖠 (𝑠 ∨∼ 𝑠)]
[𝑝 𝖠 (𝑞 ∨ 𝑟)] 𝖠 [𝑝 𝖠∨]
[𝑝 𝖠 (𝑞 ∨ 𝑟)] 𝖠 𝑝
𝑝 𝖠 [𝑝 𝖠 (𝑞 ∨ 𝑟)]
[(𝑝 𝖠 𝑝) ∨ (𝑞
∨ 𝑟)]
𝑝 𝖠 (𝑞 ∨ 𝑟)
𝑁: [(𝑞 𝖠∼ 𝑝) ∨ (∼ 𝑝 𝖠 𝑞)] ∨ (∼ 𝑞 ∨ 𝑝)
[𝑞 𝖠 (∼ 𝑝 ∨∼ 𝑝) ∨ ∨]
[𝑞 𝖠∼ 𝑝] ∨ 𝑣
∨
∴𝑀→𝑁
[𝑝 𝖠 (𝑞 ∨ 𝑟)] → 𝑣
∼ [𝑝 𝖠 (𝑞 ∨ 𝑟)] ∨ 𝑣
𝑣
3.-Utilizando leyes lógicas, simplificar la proposición compuesta:
a) [~ ( p  q) ~ (q  p)][ p  q]
[(𝑝 → 𝑞) ∨∼ (𝑞 → 𝑝)] 𝖠 [𝑝 ∨ 𝑞]
[(∼ 𝑝 𝖠 𝑞) ∨∼ (∼ 𝑞 ∨ 𝑝)] 𝖠 [𝑝 ∨ 𝑞]
[(∼ 𝑝 ∨ 𝑞) ∨ (𝑞 𝖠∼ 𝑝)] 𝖠 [𝑝 ∨ 𝑞]
[∼ 𝑝 ∨ {𝑞 ∨ (𝑞 𝖠∼ 𝑝)}] 𝖠 [𝑝 ∨ 𝑞]
[∼ 𝑝 ∨ 𝑞] 𝖠 [𝑝 ∨ 𝑞]
[𝑓 ∨ 𝑞]
𝑞
b) ~ p  [ p ~ q]
[∼ 𝑝 → (∼ 𝑝 ∨∼ 𝑞)] 𝖠 [(∼ 𝑝 ∨∼ 𝑞) →∼ 𝑝]
[𝑝 ∨ (∼ 𝑝 ∨∼ 𝑞)] 𝖠 [∼ (∼ 𝑝 ∨∼ 𝑞) ∨∼ 𝑝]
[(𝑝 ∨∼ 𝑝) ∨∼ 𝑞] 𝖠 [(𝑝 𝖠 𝑞) ∨∼ 𝑝]
 [𝑣 ∨∼ 𝑞] 𝖠 [∼ 𝑝 ∨ (𝑝 𝖠 𝑞)]
𝑣 ∨ (∼ 𝑝 𝖠 𝑞)
∼𝑝𝖠𝑞
4. Dadas las proposiciones compuestas denotadas por a, b y c
respectivamente:
a) p  ~ (q  r)
p q r 𝑝 ↔∼ (𝑞 𝖠 𝑟)
V V V V F F V V V
V V F V V V V F F
V F V V V V F F V
V F F V V V F F F
F V V F V F V V V
F V F F F V V F F
F F V F F V F F V
F F F F F V F F F

b) ∼ 𝑝∆∼ 𝑟
p q r ∼ 𝑝∆∼ 𝑟
V V V F V F F V
V V F F V V V F
V F V F V F F V
V F F F V V V F
F V V V F V F V
F V F V F F V F
F F V V F V F V
F F F V F F V F

c)∼ (𝑝 𝖠 𝑞) ∨∼ 𝑟
p q r ∼ (𝑝 𝖠 𝑞) ∨∼ 𝑟
V V V F V V V F F V
V V F F V V V V V F
V F V V V F F V F V
V F F V V F F V V F
F V V V F F V V F V
F V F V F F V V V F
F F V V F F F V F V
F F F V F F F V V F
𝐷𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑎𝑟 𝑠𝑖 𝑎 → 𝑐 𝑦 𝑏 → c

a b c 𝑎→𝑐 𝑏→𝑐
F F F F V F F V F
V V V V V V V V V
F F V F V V F V V
V V V V V V V V V
V V V V V V V V V
F F V F V V F V V
V V V V V V V V V
F F V F V V F V V

5.- p, q, r, s, son proposiciones. Si ( p ~ q)  (~ r  s) es FALSA,

deducir el valor de verdad de:
(𝑝 → ~𝑞) ∨ (~𝑟 → 𝑠)
𝐹
𝐹𝖠𝐹
(𝑉 → 𝐹) ∨ (𝑉 → 𝐹)
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠: 𝑝 = 𝑉 , 𝑞 = 𝑣, 𝑟 = 𝐹 𝑦 𝑠 = 𝐹
a)(∼ 𝑝∆𝑞) ∨∼ 𝑞

(∼ 𝑝∆𝑞) ∨∼ 𝑞
(∼ 𝑉∆𝑉) ∨∼ 𝑉
(𝐹∆𝑉) ∨ 𝐹
𝑉∨𝐹
𝑉
b)(𝑝 → 𝑟) → (𝑝 ∨ 𝑠)

(𝑝 → 𝑟) → (𝑝 ∨ 𝑠)
(𝑉 → 𝐹) → (𝑉 ∨ 𝐹)
𝐹→𝐹
𝑉
c)(∼ 𝑟 𝖠 𝑞) ↔ (∼ 𝑞 𝖠 𝑠)

(∼ 𝑟 𝖠 𝑞) ↔ (∼ 𝑞 𝖠 𝑠)
 (∼ 𝐹 𝖠 𝑉) ↔ (∼ 𝑉 𝖠 𝐹)
(𝑉 𝖠 𝑉) ↔ (𝐹 𝖠 𝐹)
𝑉↔𝐹
𝐹
6.- Si p, q, r, s, t, w, son proposiciones tales que: X: ( p ~ r)  (s  w) es
VERDADERA, Y: (~ w ~ s) es FALSA.
𝑦: (∼ 𝑤 →∼ 𝑠)
𝐹
𝑉→𝐹
𝐸𝑛𝑡𝑜𝑛𝑐𝑒𝑠: 𝑤 = 𝐹 ; 𝑠 =
𝑉 (𝑝 𝖠∼ 𝑟) ↔ (𝑠 → 𝑤)
(𝑝 𝖠∼ 𝑟) ↔ (𝑉 → 𝐹)
(𝑝 𝖠∼ 𝑟) ↔ 𝐹
𝑉
𝐹↔𝐹
∴ 𝐹𝑎𝑙𝑡𝑎𝑛 𝑑𝑎𝑡𝑜𝑠 𝑝𝑎𝑟𝑎 ℎ𝑎𝑙𝑙𝑎𝑟 𝑒𝑙 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑙𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑡.
7.- Sean M y N las expresiones lógicas que representan a los circuitos a),
b) respectivamente. Si el costo de cada llave repercute en forma
significativa en el costo total del circuito. Halle el circuito lógico más
económico correspondiente a N  M

[(𝑝 ∨ 𝑟) 𝖠 𝑝 𝖠 𝑞] ∨ [{(𝑝 𝖠 𝑞) ∨ 𝑟} 𝖠 (𝑟 ∨∼ 𝑞)]

[𝑝 𝖠 𝑞] ∨ [{(𝑝 𝖠 𝑞) ∨ 𝑟} 𝖠 (𝑟 ∨∼ 𝑞)]
[𝑝 𝖠 𝑞] ∨ [𝑟 ∨ (𝑝 𝖠 𝑞 ∨∼ 𝑞)]
[𝑝 𝖠 𝑞] ∨ [𝑟 ∨ (𝑝 𝖠 𝐹)]
[𝑝 𝖠 𝑞] ∨ [𝑟 ∨ 𝐹]
 (𝑝 𝖠 𝑞) ∨ 𝑟

(𝑝 ∨ 𝑞) 𝖠 [(𝑟 𝖠∼ 𝑞) ∨ (𝑞 ∨∼ 𝑟)] ∨ [(∼ 𝑞 𝖠 𝑞) ∨ (𝑟 𝖠 𝑞)]

(𝑝 ∨ 𝑞) 𝖠 [(𝑟 𝖠∼ 𝑞) ∨∼ (∼ 𝑞 𝖠 𝑟)] ∨ [(∼ 𝑞 𝖠 𝑞) ∨ (𝑟 𝖠 𝑞)]
[(𝑝 ∨ 𝑞) 𝖠 [𝑉]] ∨ [𝐹 ∨ (𝑟 𝖠 𝑞)]
[(𝑝 ∨ 𝑞) ∨ (𝑟 𝖠 𝑞)]
[𝑝 ∨ 𝑞 ∨ (𝑟 𝖠 𝑞)]
𝑝∨𝑞
𝐻𝑎𝑙𝑙𝑒 𝑒𝑙 𝑐𝑖𝑟𝑐𝑢𝑖𝑡𝑜 𝑙ó𝑔𝑖𝑐𝑜 𝑚𝑎𝑠 𝑒𝑐𝑜𝑛𝑜𝑚𝑖𝑐𝑜 𝑐𝑜𝑟𝑟𝑒𝑠𝑝𝑜𝑛𝑑𝑖𝑒𝑛𝑡𝑒 𝑀 → 𝑁
[(𝑝 𝖠 𝑞) ∨ 𝑟] = 𝑀
(𝑝 ∨ 𝑞) = 𝑁
(𝑝 ∨ 𝑞) → [(𝑝 𝖠 𝑞) ∨ 𝑟]
∼ (𝑝 ∨ 𝑞) ∨ [(𝑝 𝖠 𝑞) ∨ 𝑟]
(∼ 𝑝 𝖠∼ 𝑞) ∨ [(𝑝 𝖠 𝑞) ∨ 𝑟]
𝑅𝑃𝑇𝐴:

8.-Simplificar los circuitos siguientes:

 [(𝑝 𝖠∼ 𝑞) ∨ (∼ 𝑝 ∨ 𝑞)] 𝖠 [(𝑞 𝖠 (∼ 𝑞 ∨∼ 𝑝)) ∨ (∼ 𝑞 𝖠 𝑝)]
𝖠 [(𝑝 𝖠 𝑞) ∨ (𝑞 ∨ (𝑝 ∨ 𝑞))]
[((𝑝 𝖠∼ 𝑞) ∨∼ 𝑝) ∨ 𝑞] 𝖠 [(𝑞 𝖠∼ 𝑝) ∨ (∼ 𝑞 𝖠 𝑝)] 𝖠 [(𝑝 𝖠 𝑞) ∨ 𝑞]
[(∼ 𝑞 ∨ 𝑝) ∨ 𝑞] 𝖠 [(𝑞 𝖠∼ 𝑝) ∨ (−𝑞 𝖠 𝑝)] 𝖠 𝑞
[(𝑞 𝖠 𝑞)𝑈 ∼ 𝑝] 𝖠 [(𝑞 𝖠∼) ∨ (∼ 𝑞 𝖠 𝑝)] 𝖠 𝑞
[𝑉 ∼ 𝑝] 𝖠 [(𝑞 𝖠 𝑝) ∨ (𝑞 𝖠 𝑝) 𝖠 𝑝]
[((𝑞 𝖠 𝑝) 𝖠 𝑞)𝑈((∼ 𝑞 𝖠 𝑞) 𝖠 𝑝)]
(𝑞 𝖠∼ 𝑝) ∨ (𝐹 𝖠 𝑝)
(𝑞 𝖠∼ 𝑝) 𝖠 𝐹

[((𝑝 ∨∼ 𝑞) 𝖠 (𝑞 ∨ 𝑝)) ∨ ((𝑝 𝖠∼ 𝑞) ∨ (𝑞 𝖠 𝑝))] 𝖠 (𝑝 ∨ 𝑞)

[((∼ 𝑞) 𝖠∼ (𝑝 𝖠∼ 𝑞)) ∨ (𝑝 𝖠∼ 𝑞) ∨ (𝑞 𝖠 𝑝)] 𝖠 (𝑝 ∨ 𝑞)
[(𝑝 𝖠 𝑞) ∨ (∼ 𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑞)] 𝖠 (𝑝 ∨ 𝑞)
[(𝑝 𝖠 𝑞)] 𝖠 (𝑝 ∨ 𝑞)
9.- Si P = x + y; Q = p + q; R = r.s; S = u.v obtener los circuitos lógicos de:
A) P + Q

B) P.Q
C) (P.Q)+(R.S)

D) [(𝑅 + 𝑆). 𝑃]

E) P.(R+S+P).Q

10.- Hallar el enunciado que es verdadero en:

a) La primera y segunda posibilidades lógicas.
b) La segunda, quinta y sétima posibilidades lógicas.
11.-Sea A la proposición más simplificada del circuito lógico:
Además, sea B la proposición más simplificada de:
[(p ʌ s) v (p ʌ ∼ s)] ʌ [(p ʌ q) v (p ʌ r)]
Construir el circuito lógico más simplificado correspondiente a B →A
𝐸𝑁 𝐴:
{{(𝑝 ∨ 𝑞) 𝖠 [(𝑟 𝖠∼ 𝑞) ∨ (𝑞 ∨∼ 𝑟)]} ∨ [(∼ 𝑟 𝖠 𝑞) ∨ (𝑟 𝖠∼ 𝑞)]}
∨ [(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠∼ 𝑞) ∨ (∼ 𝑝 𝖠∼ 𝑞)]
{{(𝑝 ∨ 𝑞) 𝖠 [(𝑟 𝖠∼ 𝑞) ∨∼ (𝑞 𝖠 𝑟)]} ∨ [(∼ 𝑟 𝖠 𝑞) ∨ (𝑟 𝖠∼ 𝑞)]}
∨ [(𝑝 𝖠 𝑞) ∨ 𝑝] 𝖠 {[(𝑝 𝖠 𝑞) ∨∼ 𝑞] ∨ (∼ 𝑝 𝖠∼ 𝑞)}
{{(𝑝 ∨ 𝑞) 𝖠 𝑉} ∨ [(∼ 𝑟 𝖠 𝑞) ∨ (𝑟 𝖠∼ 𝑞)]} ∨ {𝑝 ∨ (∼ 𝑝 𝖠∼ 𝑞)}
{(𝑝 ∨ 𝑞) ∨ [(∼ 𝑟 𝖠 𝑞) ∨ (𝑟 𝖠∼ 𝑞)]} ∨ (𝑝 ∨∼ 𝑞)
{(𝑝 ∨ 𝑞) ∨ (𝑝 ∨ 𝑞 ∨ 𝑟)} ∨ (𝑝 ∨∼ 𝑞)
(𝑝 ∨ 𝑞 ∨ 𝑟) ∨ (𝑝 ∨∼ 𝑞)
V
𝐸𝑁 𝐵:
[(𝑝 𝖠 𝑠) ∨ (𝑝 𝖠∼ 𝑠)] 𝖠 [(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑟)]
[(𝑝 𝖠 𝑠) ∨ 𝑝] 𝖠 [(𝑝 𝖠 𝑠) ∨∼ 𝑠] 𝖠 [(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑟)]
𝑝 𝖠 (𝑝 ∨∼ 𝑠) 𝖠 [(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑟)]
𝑝 𝖠 [(𝑝 𝖠 𝑞) ∨ (𝑝 ∨ 𝑟)]
(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑟)
∴ 𝐸𝑛 𝐵 → 𝐴
(𝑝 𝖠 𝑞) ∨ (𝑝 𝖠 𝑟) → 𝑉 = 𝑉
12.-Sea A la proposición lógica más simple del circuito lógico:
Sea igualmente B la proposición lógica más simple de la proposición (p*q)
ʌ (p→∼ q) donde (p*q) →F es equivalente p↔ q.
Encontrar el valor de verdad de la proposición de A ↔ B
𝐸𝑁 𝐴:
{[(𝑝 ∨ 𝑞) 𝖠 (∼ 𝑞 ∨∼ 𝑝)] ∨ [𝑝 𝖠 (∼ 𝑝 ∨ (∼ 𝑝 𝖠 𝑞))]}
{[(𝑝 ∨ 𝑞) 𝖠 (∼ 𝑞 ∨∼ 𝑝)] ∨ [𝑝 𝖠∼ 𝑝]}
{[(𝑝 ∨ 𝑞) 𝖠 (∼ 𝑞 ∨∼ 𝑝)] ∨ 𝐹}
(𝑝 ∨ 𝑞) 𝖠 (𝑝 →∼ 𝑞)
𝐸𝑁 𝐵:
(𝑝 ∗ 𝑞) 𝖠 (𝑝 →∼ 𝑞)
(𝑝 ∗ 𝑞) → 𝐹𝑒𝑠 𝑒𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒 𝑝 ↔ 𝑞
(𝑝 ∗ 𝑞) = (𝑝 ∨ 𝑞)
𝐸𝑛𝑐𝑜𝑛𝑡𝑟𝑎𝑟 𝑒𝑙 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑 𝑑𝑒 𝑙𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛 𝑑𝑒 𝐴 ↔ 𝐵
(𝑝 ∨ 𝑞) 𝖠 (𝑝 →∼ 𝑞) ↔ (𝑝 ∨ 𝑞)(𝑝 →∼ 𝑞)
𝑉
13.-Demostrar mediante tablas de verdad, cuáles de las siguientes
proposiciones son: Tautologías, contradicciones o contingencias:
a)[∼ (𝑝 𝖠 𝑞) → 𝑟] ↔ [(𝑝 𝖠 𝑟) ↓ 𝑞]
p q r 𝑝 ∼ (𝑝 𝖠 𝑞) [∼ (𝑝 𝖠 𝑞) 𝑝 [(𝑝 𝖠 𝑟) [∼ (𝑝 𝖠 𝑞) → 𝑟]
𝖠𝑞 → 𝑟] 𝖠𝑟 ↓ 𝑞] ↔ [(𝑝 𝖠 𝑟) ↓ 𝑞]
V V V V F V V F F
V V F V F V F F F
V F V F V V V F F
V F F F V F F V F
F V V F V V F F F
F V F F V F F F V
F F V F V V F V V
F F F F V F F V F
∴ C𝑂𝑁𝑇𝐼𝑁𝐺𝐸𝑁𝐶𝐼𝐴
b)[𝑝 ↔ (𝑟 →∼ 𝑝)] ∨ [(∼ 𝑞 → 𝑝) ↔ 𝑟]
p q r ∼𝑝 (𝑟 → [𝑝 ↔ (𝑟 ∼𝑞 ∼𝑞 [(∼ 𝑞 [𝑝 ↔ (𝑟 →
∼ 𝑝) →∼ 𝑝)] →𝑝 → 𝑝) ∼ 𝑝)]
↔ 𝑟] ∨ [(∼ 𝑞 → 𝑝)
↔ 𝑟]
V V V F F F F V V V
V V F F V V F V F V
V F V F F F V V V V
V F F F V V V V F V
F V V V V F F V V V
F V F V V F F V F F
F F V V V F V F F F
F F F V V F V F V V
∴ 𝐶𝑂𝑁𝑇𝐼𝑁𝐺𝐸𝑁𝐶𝐼𝐴
c)[𝑝 → (𝑞 → 𝑟)] ↔ [(𝑝 → 𝑞) → (𝑝 → 𝑟)]
p q r 𝑞 [𝑝 → (𝑞 𝑝→𝑞 𝑝→𝑟 [(𝑝 → 𝑞) [𝑝 → (𝑞 → 𝑟)]
→𝑟 → 𝑟)] → (𝑝 → 𝑟)] ↔ [(𝑝 → 𝑞)
→ (𝑝 → 𝑟)]
V V V V V V V V V
V V F F F V F F V
V F V V V F V V V
V F F V V F F V V
F V V V V V V V V
F V F F V V V V V
F F V V V V V V V
F F F V V V V V V
∴ 𝑇𝐴𝑈𝑇𝑂𝐿𝑂𝐺Í𝐴
d)[𝑝 𝖠 (∼ 𝑞 → 𝑝)] 𝖠∼ [(𝑝 ↔∼ 𝑞) → (𝑞 ∨∼ 𝑝)]
p q ∼𝑞 ∼𝑝 ∼𝑞 [𝑝 𝑝↔ 𝑞∨ [(𝑝 ↔ [𝑝 𝖠 (∼ 𝑞 → 𝑝)] 𝖠
→𝑝 𝖠 (∼ 𝑞 ∼𝑞 ∼𝑝 ∼ 𝑞) ∼ [(𝑝 ↔∼ 𝑞)
→ 𝑝)] → (𝑞 ∨ → (𝑞 ∨∼ 𝑝)]
∼ 𝑝)]
V V F F V V F V V F
V F V F V V V F F V
F V F V V F V V V F
F F V V F F F V V F
∴ 𝐶𝑂𝑁𝑇𝐼𝑁𝐺𝐸𝑁𝐶𝐼𝐴
e)(𝑝 ↔ 𝑞) ↔ [(∼ 𝑝 ∨ 𝑞) 𝖠 (𝑞 → 𝑝)]
p q ∼𝑝 𝑝↔𝑞 ∼𝑝 𝑞 [(∼ 𝑝 ∨ 𝑞) 𝖠 (𝑞 )(𝑝 ↔ 𝑞) ↔ [(∼ 𝑝 ∨
∨𝑞 →𝑝 → 𝑝)] 𝑞) 𝖠 (𝑞 → 𝑝)]
V V F V V V V V
V F F F F V F V
F V V F V F F V
F F V V V V V V
∴ 𝑇𝐴𝑈𝑇𝑂𝐿𝑂𝐺Í𝐴
f)〈𝑞 → [∼ 𝑝 → (∼ 𝑝 →∼ 𝑞)]〉 ∼ (𝑝 𝖠 𝑞)
q p ∼𝑞 ∼𝑝 ∼𝑝 𝑝 ∼ (𝑝 ∼𝑝 〈𝑞 〈𝑞
→ 𝖠𝑞 𝖠 𝑞) → (∼ 𝑝 → [∼ 𝑝 → [∼ 𝑝 → (∼ 𝑝 →
∼𝑞 →∼ 𝑞) → (∼ 𝑝 → ∼ 𝑞)]〉 ∼ (𝑝 𝖠 𝑞)
∼ 𝑞)]〉
V V F F V V F V V F
V F F V V F V V V V
F V V F F F V V V V
F F V V V F V V V V
∴ 𝐶𝑂𝑁𝑇𝐼𝑁𝐺𝐸𝑁𝐶𝐼𝐴
14.-Simplificar las siguientes proposiciones:
a)∼ [(∼ 𝑝 ∨∼ 𝑞) 𝖠 𝑝 →∼ (∼ 𝑞 ∨∼ 𝑞) ∨ (∼ 𝑝 ∨∼ 𝑝)] 𝖠 [∼ 𝑝 ∨∼ 𝑞]
∼ [(∼ 𝑝 ∨∼ 𝑞) 𝖠 𝑝 →∼ (∼ 𝑞 ∨∼ 𝑞) ∨ (∼ 𝑝 ∨∼ 𝑝)] 𝖠 [∼ 𝑝 ∨∼ 𝑞]
∼ [∼ 𝑞 𝖠 𝑝 → 𝑞 ∨∼ 𝑝] 𝖠 [∼ 𝑝 ∨∼ 𝑞]
∼ [(𝑞 ∨∼ 𝑝) ∨ (𝑞 ∨∼ 𝑝)] 𝖠 [∼ 𝑝 ∨∼ 𝑞]
(𝑝 𝖠∼ 𝑞) 𝖠 (∼ 𝑝 ∨∼ 𝑞)
𝐹
b){[(∼ 𝑞) → (∼ 𝑝)] → (∼ 𝑝) → (∼ 𝑞)} 𝖠∼ (𝑝 𝖠 𝑞)
{[𝑝 → 𝑞] → [𝑞 → 𝑝]} 𝖠∼ (𝑝 𝖠 𝑞)
[(∼ 𝑝 ∨ 𝑞) → (∼ 𝑞 ∨ 𝑝)] 𝖠∼ (𝑝 𝖠
𝑞) [(𝑝 𝖠∼ 𝑞) ∨ (∼ 𝑞 ∨ 𝑝)] 𝖠∼ (𝑝 𝖠
𝑞) (𝑝 𝖠∼ 𝑞) 𝖠 (∼ 𝑝 ∨∼ 𝑞)
𝑝 𝖠∼ 𝑞
c)∼ {∼ [∼ [∼ (𝑝 𝖠∼ 𝑞) ∨ 𝑝] → 𝑝] → 𝑞}
∼ {∼ [∼ [∼ (𝑝 𝖠∼ 𝑞) ∨ 𝑝] → 𝑝] → 𝑞}
 ∼ {∼ [∼ [𝑝 ∨ 𝑞] → 𝑝] → 𝑞}
∼ {∼ [∼ 𝑝 𝖠∼ 𝑞 → 𝑝] → 𝑞}
∼ { ∼ [𝑝 ∨ 𝑞 ] → 𝑞 }
∼ {∼ 𝑝 𝖠∼ 𝑞 → 𝑞}
∼ { 𝑝 ∨ 𝑞 ∨ 𝑞}
∼ 𝑝 𝖠∼ 𝑞
d)[𝑝 ∨ (𝑞 ↔∼ 𝑝)] ↔∼ 𝑞
[𝑝 ∨ (𝑞 ↔∼ 𝑝)] ↔∼ 𝑞
[𝑝 ∨ (𝑞 ↔∼ 𝑝) 𝖠 (∼ 𝑝 → 𝑞)] →∼ 𝑞
[𝑝 ∨ ((∼ 𝑞 ∨∼ 𝑝) 𝖠 (𝑝 ∨ 𝑞))] →∼ 𝑞
[𝑉 𝖠 (𝑝 ∨ 𝑞)] →∼ 𝑞
(𝑝 ∨ 𝑞) →∼ 𝑞
(∼ 𝑝 𝖠∼ 𝑞) ∨∼ 𝑞
∼𝑞
e)(∼ 𝑝 𝖠∼ 𝑞 𝖠 𝑟) ∨ (𝑝 𝖠 𝑞 𝖠 𝑟) ∨ (𝑝 𝖠∼ 𝑞 𝖠 𝑟)
(∼ 𝑝 𝖠∼ 𝑞 𝖠 𝑟) ∨ (𝑝 𝖠 𝑞 𝖠 𝑟) ∨ (𝑝 𝖠∼ 𝑞 𝖠 𝑟)
(∼ 𝑝 𝖠∼ 𝑞 𝖠 𝑟) ∨ [∼ 𝑞 𝖠 (𝑝 𝖠 𝑟)] ∨ [∼ 𝑞 𝖠 (𝑝 𝖠 𝑟)]

[(∼ 𝑝 𝖠∼ 𝑞 𝖠 𝑟) ∨ [(𝑞 𝖠 (𝑝 𝖠 𝑟)) ∨∼ 𝑞] 𝖠 [(𝑞 𝖠 (𝑝 𝖠 𝑟)) ∨ (𝑝 𝖠 𝑟)]]

(∼ 𝑝 𝖠∼ 𝑞 𝖠 𝑟) ∨ (𝑝 𝖠 𝑟)
[(∼ 𝑝 𝖠 (∼ 𝑞 𝖠 𝑟)) ∨ 𝑝] 𝖠 [((∼ 𝑝 𝖠∼ 𝑞) 𝖠 𝑟) ∨ 𝑟]
𝑝 𝖠∼ 𝑞 𝖠 𝑟
f)𝑝 → [(𝑞 𝖠∼ 𝑟) ∨ (𝑟 𝖠∼ 𝑠) ∨ 𝑝]
𝑝 → [(𝑞 𝖠∼ 𝑟) ∨ (𝑟 𝖠∼ 𝑠) ∨ 𝑝]
∼ 𝑝 ∨ [(𝑞 𝖠∼ 𝑟) ∨ (𝑟 𝖠∼ 𝑠) ∨ 𝑝]
𝑉 ∨ [(𝑞 𝖠∼ 𝑟) ∨ (𝑟 𝖠∼ 𝑠)]
𝑉
15.-Si la proposición: (𝑟 → 𝑠) → ( 𝑝 → 𝑞) es Falsa entonces de las
siguientes proposiciones, demostrar su valor de verdad:
(𝑟 → 𝑠) → ( 𝑝 → 𝑞)
𝑉 𝐹
𝐹
𝑟 = 𝑉 ; 𝑠 = 𝑉 ; 𝑝 = 𝑉 ; 𝑞1 = 𝐹
a)(∼ 𝑞 𝖠∼ 𝑟) ∨ (∼ 𝑠 𝖠 (𝑝 ∨ 𝑞))8
(∼ 𝐹 𝖠∼ 𝑉) ∨ (∼ 𝑉 𝖠 (𝑉 ∨ 𝐹))
(𝑉 𝖠 𝐹) ∨ (𝐹 𝖠 𝑉)
𝐹∨𝐹
𝐹
b)(∼ 𝑞 →∼ 𝑠) → (∼ 𝑞 → 𝑟)
(∼ 𝐹 →∼ 𝑉) → (∼ 𝐹 → 𝑉)
(𝑉 → 𝐹) → (𝑉 → 𝑉)
𝐹→𝑉
𝑉
c)∼ [(∼ 𝑝 ∨∼ 𝑞)] → (𝑟 ∨∼ 𝑠)
∼ [∼ 𝑉 →∼ 𝐹] → (𝑉 ∨∼ 𝑉)
∼ [𝐹 ∨ 𝑉] → (𝑉 ∨ 𝐹)
∼ [𝑉] → 𝑉
𝐹→𝑉
𝑉
16.-Dados los esquemas lógicos: 𝐴 = ~ (~ 𝑝 → ~ 𝑞) , 𝐵 = ( 𝑝 →
𝑞) ~ (~ 𝑝  𝑞) , 𝐶 = ~ ( 𝑝 ~ 𝑞) ¿Cuál de las siguientes relaciones es la
correcta?
𝑎) 𝐴  𝐵 , 𝑏) 𝐵  𝐶 𝑐) 𝐴  𝐶 , 𝑑) 𝐴  𝐵  𝐶, 𝑒) 𝑁. 𝐴.
a)𝐴 ≡ 𝐵

𝐴 = ~ (~ 𝑝 → ~ 𝑞) , 𝐵 = ( 𝑝 → 𝑞) ~ (~ 𝑝  𝑞)
p q ~ 𝑝 ~ 𝑞 ~ 𝑝 ~ (~ 𝑝 𝑝 ~ 𝑝 ~ (~ 𝑝 (𝑝 ~ (~ 𝑝 → ~ 𝑞)
→ ~ 𝑞 → ~ 𝑞) → 𝑞  𝑞  𝑞) → 𝑞) ↔(𝑝
~ (~ 𝑝  → 𝑞) ~ (~ 𝑝 
𝑞) 𝑞)
V V F F V F V F V V F
V F F V V F F F V V V
F V V F F V V V F F F
F F V V V F V F V V F

b)𝐵 ≡ 𝐶
𝐵 = ( 𝑝 → 𝑞) ~ (~ 𝑝  𝑞) , 𝐶 = ~ ( 𝑝 ~ 𝑞)
p q ~ 𝑝 ~ 𝑝 ~ (~ ( 𝑝 ~𝑞 𝑝 ~ ( 𝑝 ( 𝑝
𝑝 → 𝑞 𝑞 𝑝 → 𝑞) ~ ~ 𝑞  ~ → 𝑞) ~ (~ 𝑝
𝑞) (~ 𝑝  𝑞) ↔ ~ ( 𝑝 ~ 𝑞)
𝑞)
V V F V F V V F V F F
V F F F F V F V V F V
F V V V V F F F F V V
F F V V F V V V V F F

c)𝐴 ≡ 𝐶
𝐴 = ~ (~ 𝑝 → ~ 𝑞), , 𝐶 = ~ ( 𝑝 ~ 𝑞)
p q ~𝑝 ~𝑞 ~𝑝 ~ (~ 𝑝 ~ 𝑞 𝑝 ~ ( 𝑝 ~ (~ 𝑝 → ~ 𝑞)
→ ~ 𝑞 → ~ 𝑞) ~𝑞 ~ ↔ ~ ( 𝑝 ~ 𝑞)
𝑞)
V V F F V F F V F V
V F F V V F V V F V
F V V F F V F F V V
F F V V V F V V F V

𝑆𝑜𝑛 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒𝑠 𝐴 ≡ 𝐶
17.- . Si p, q, r, s, t, w son proposiciones tales que: a) ( 𝑝 ~ 𝑟)  (𝑠  →
𝑤) es verdadero, b) (~ 𝑤 → ~ 𝑠) es Falso. Halle el valor de verdad de las
siguientes proposiciones:
i) ( p  q)  r  s
ii) (s ↔ ~ w)  (r ~ p)
iii) [t → (w ~ p)] ~ ( p → r)
Solución:
b) (~ w → ~ s)

(~ w → ~ s)
V→F
F
w=Fys=V
a) ( 𝑝 ~ 𝑟)  (𝑠  → 𝑤)

( p ~ r)  (s  →
w)
V→F
F↔F
V
i)( p  q)  r 
s
( p  q)  r  s
(p 𝖠 q) ∨ (r ∨
V)
𝑉
ii) (s ↔ ~ w)  (r ~ p)
(s ↔ ~ w)  (r ~ p)
(𝑉 ↔∼ 𝐹) → 𝑉
(𝑉 ↔ 𝑉) → 𝑉
𝑉→𝑉
𝑉
iii) [t → (w ~ p)] ~ ( p → r)
[t → (w  ~ p)] ~ ( p → r)
[t → ~p)] ~ ( p ∨ r)
[∼ t ∨ ~ p)] ( p 𝖠∼ r)(∼ 𝑡
∨∼ 𝑝) 𝖠 𝐹
18.-Indique la conclusión lógica que sigue en cada premisa, al tiempo de
demostrar su evidencia:
a) Es mentira que lloviera la pasada noche, entonces las pistas no se han
limpiado. Si las pistas estuvieran limpias, entonces podríamos transitar.
No podemos transitar
p: Es mentira que lloviera la pasada noche
q: Las pistas no se han limpiado
r: Podemos transitar
(1) p → q
(2) ∼q →r
(3) ∼r
(4) q
(5) q
b) Si el arriendo se mantiene válido entonces el dueño es responsable de
las reparaciones. Pero el dueño no es responsable de las reparaciones y el
arriendo no se mantiene válido
p: Si el arriendo se mantiene válido
q: el dueño es responsable de las reparaciones
(1) p → q
(2) ∼q ʌ ∼p
(3) ∼q
(4) ∼p
c) Si vivo en la capital de los EE.UU., entonces no vivo en ninguno de
los cincuenta estados. Vivo en la capital de los EE.UU.
p: Vivo en la capital de los EE. UU
q: Vivo en ninguno de los cincuenta estados
(1) p → ∼q
(2) q
 (3) ∼p
d) ) Si nos despedimos ahora y pensamos viajar, entonces no
cumpliremos nuestro plan. Cumplimos nuestro plan además fuimos a
cenar.
p: Nos despedimos ahora
q: Pensamos viajar
r: Cumpliremos nuestro
plan s: Fuimos a cenar
1. (p ʌ q) → ∼r
2. r ʌ s
3. ∼ (p ʌ q) ʌ s
e) Si esta planta no crece, entonces o necesito más agua o necesita
mejor abono. Esta planta no crece. p: esta planta no crece.
q: necesita más agua
r: necesita mejor abono
1: p 
(qr) 2: P
3: qr
f) Si son las cinco entonces la oficina está cerrada. Sucede que la oficina
no está cerrada y no son las cinco.
p: son las cinco
q: la oficina está cerrada
1: p q
2: ~q  ~p
3. ~q
4. ~p
g) Ud. está en Madrid. Su reloj señala la misma hora que en
Barcelona entonces no está en Madrid. Además Ud. no está en
Madrid.
p: Ud. está en Madrid
q: Su reloj señala la misma hora que en Barcelona
 1: p
2: q  ~p
3: ~p
4: ~q
19.-En los siguientes enunciados demostrar que la conclusión es
consecuencia de las premisas.
a) Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio
partir el coche de Andrés. SI Andrés dice la verdad, entonces Juan no vio
partir el coche de Andrés o Andrés dice la verdad o estaba en el edificio en
el momento del crimen. El reloj está adelantado. Por tanto, Andrés estaba
en el edificio en el momento del crimen. Solución:
p: El reloj está adelantado
q: Juan llegó antes de las diez
r: Vio partir el coche de Andrés
s: Andrés dice la verdad
t: Estaba en el edificio en el momento del crimen
(1) p → (q 𝖠 r)
(2) S→∼r
(3) s ∨ t
(4) p
(5) q 𝖠 r
(6) q
(7) r
(8) ∼s
(9) t
b) Si A ganó la carrera, entonces o B fue el segundo o C fue el segundo. Si
B fue el segundo, entonces A no ganó la carrera. Si D fue el segundo,
entonces C no fue el segundo. A ganó la carrera. Entonces, D no fue el
segundo. Solución:
p: A ganó la carrera
q: B fue el
segundo r: C fue el
segundo s: D fue el
segundo (1) p → (q v r)
(2) q → ∼p
(3) s → ∼r = r → ∼s
(4) p
(5) q v r
(6) ∼p v ∼s
(7) ∼p
(8) ∼s
c) Si Juan es más alto que Pedro, entonces María es más baja que Juana.
María no es más baja que Juana. Si Juan y Luís tienen la misma estatura,
entonces Juan es más alto que Pedro. Por tanto, Juan y Luís no tienen la
misma estatura.
p=Juan es más alto que Pedro
q=María es más baja que Juana
r=Juan y Luis tienen la misma estatura
(1) P→q
(2) q→r
(3) PP
(4) r
d) Si esta es una sociedad matriarcal, entonces el hermano de la madre es el
cabeza de familia. Si el hermano de la madre es el cabeza de familia,
entonces el padre no tiene autoridad. Esta es una sociedad matriarcal. Por
tanto, el padre no tiene autoridad.
p=Si esta es una sociedad matriarcal
q=el hermano dela madre es el cabeza de
familia r=el padre no tiene autoridad
 (1) p→q ∴Nrp→q
(2) ∼q∼q
(3) r→Pr→P
(4) ∼P∼P
(5) ∼r
20.- Dar una demostración formal de cada uno de los razonamientos
siguientes, usando las leyes de la inferencia lógica:
a) Demostrar que: x < y
(x = y  x  y)  (x  4 ∼ (x  z))  (x = y → x  z)  (x  y
→ x  z)
1. x = y  x  y
2. x  4 ∼ (x  z)
3. x = y → x  z
4. x  y → x  z
𝑈𝑠𝑎𝑚𝑜𝑠 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑑𝑖𝑙𝑒𝑚𝑎 𝑐𝑜𝑛𝑠𝑡𝑟𝑢𝑐𝑡𝑖𝑣𝑜 𝑒𝑛 1,3𝑦4
5. 𝑥 < 𝑧
𝑈𝑠𝑎𝑚𝑜𝑠 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑠𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝑑𝑖𝑠𝑦𝑢𝑛𝑡𝑖𝑣𝑜 𝑒𝑛 2 𝑦 5
6. 𝑥 < 𝑦
b) Demostrar que 𝑦 = 𝑧 ∨ 𝑥 ≠ 5
(𝑥 = 𝑦 → 𝑥 < 𝑧) 𝖠 (𝑥 = 5 → 𝑥 ∼< 𝑧) 𝖠 (𝑥 = 3 → 𝑥 < 𝑧) 𝖠 (𝑥 ∼< 𝑦
→ 𝑥 = 𝑦) 𝖠 (𝑥 = 3 ∨ 𝑥 ∼< 𝑦)
1. 𝑥 = 𝑦 → 𝑥 < 𝑧
2. 𝑥 = 5 → 𝑥 ∼< 𝑧
3. 𝑥 = 3 → 𝑥 < 𝑧
4. 𝑥 ∼< 𝑦 → 𝑥 = 𝑦
5. 𝑥 = 3 ∨ 𝑥 ∼< 𝑦
𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑚𝑜𝑠 𝑒𝑛 1 𝑦 4
6. 𝑥 ∼< 𝑦 → 𝑥 < 𝑧
 𝑈𝑠𝑎𝑚𝑜𝑠 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑝𝑟𝑢𝑒𝑏𝑎 𝑑𝑒 𝑐𝑎𝑠𝑜𝑠 𝑒𝑛 3,5 𝑦 6
7. 𝑥 < 𝑧
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 2 𝑦7
8. 𝑥 ≠ 5
9. 𝑥 ≠ 5 𝑦 𝑦 = 𝑧
c)Demostrar que 𝑥 < 5
(𝑥 < 𝑦 𝖠 𝑥 = 𝑦) 𝖠 (𝑥 = 𝑦 → 𝑦 ≠ 5) 𝖠 (𝑥 < 𝑦 𝖠 𝑦 = 𝑟 → 𝑥 < 5) 𝖠 (𝑦
= 5)
1. 𝑥 < 𝑦 𝖠 𝑥 = 𝑦
2. 𝑥 = 𝑦 → 𝑦 ≠ 5
3. 𝑥 < 𝑦 𝖠 𝑦 = 𝑟 → 𝑥 < 5
4. 𝑦 = 5
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 2 𝑦 4
5. 𝑥 ≠ 𝑦
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 1 𝑦 5
6. 𝑥 < 𝑦
7. 𝑥 < 𝑦 𝖠 𝑦 = 𝑟
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑒𝑛𝑠 𝑒𝑛 3 𝑦 7
8. 𝑥 < 5
d)Demostrar que 𝑥 > 6
(𝑥 > 5 → 𝑥 = 6 ∨ 𝑥 > 6) 𝖠 (𝑥 ≠ 5 𝖠 𝑥 ∼< 5 → 𝑥 > 5)
𝖠 (𝑥 < 5 → 𝑥 ≠ 3 + 4) 𝖠 (𝑥 = 3 + 4 𝖠 𝑥 ≠ 6)
𝖠 (𝑥 = 3 + 4 → 𝑥 ≠ 3)
1. 𝑥 > 5 → 𝑥 = 6 ∨ 𝑥 > 6
2. 𝑥 ≠ 5 𝖠 𝑥 ∼< 5 → 𝑥 > 5
3. 𝑥 < 5 → 𝑥 ≠ 3 + 4
4. 𝑥 = 3 + 4 𝖠 𝑥 ≠ 6
5. 𝑥 = 3 + 4 → 𝑥 ≠ 3
 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑚𝑜𝑠 2
6. 𝑥 ≠ 5
𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑚𝑜𝑠 4
7. 𝑥 = 3 + 4
8. 𝑥 ≠ 6
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 3 𝑦 7
9. 𝑥 > 5
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑒𝑛𝑠 𝑒𝑛 1 𝑦 9
10. 𝑥 = 6 ∨ 𝑥 > 6
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 8 𝑦 10
11. 𝑥 > 6
e) Demostrar que 𝑥 = 4
(3𝑥 + 2𝑦 = 18 𝖠 𝑥 + 4𝑦 = 16) 𝖠 (𝑥 = 2 → 3𝑥 + 2𝑦 ≠ 18)
𝖠 (𝑥 = 2 ∨ 𝑦 = 3) 𝖠 (𝑥 ≠ 4 → 𝑦 ≠
3) 1. 3𝑥 + 2𝑦 = 18 𝖠 𝑥 + 4𝑦 = 16
2. 𝑥 = 2 → 3𝑥 + 2𝑦 ≠ 18
3. 𝑥 = 2 ∨ 𝑦 = 3
4. 𝑥 ≠ 4 → 𝑦 ≠ 3
𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑎𝑚𝑜𝑠 1
5.3𝑥 + 2𝑦 = 18
6. 𝑥 + 4𝑦 = 16
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 2 𝑦 5
7. ∼ (𝑥 = 2)
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 3 𝑦 7
8. 𝑦 = 3
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 𝑒𝑛 4 𝑦 8
9. 𝑥 = 4
f) Demostrar que : ∼ 𝑟
(𝑝 →∼ 𝑞) 𝖠 (∼ 𝑞 →∼ 𝑠) 𝖠 [(𝑝 →∼ 𝑠) →∼ 𝑡] 𝖠 (𝑟 → 𝑡)
1. 𝑝 →∼ 𝑞
2. ∼ 𝑞 →∼ 𝑠
3. [(𝑝 →∼ 𝑠) →∼ 𝑡]
4. 𝑟 → 𝑡
5. 𝑝 →∼ 𝑠
6. ∼ 𝑡
7. ∼ 𝑟
g) Demostrar que: ∼ 𝑡
(𝑡 → 𝑝 𝖠 𝑠) 𝖠 (𝑞 →∼ 𝑝) 𝖠 (𝑟 →∼ 𝑠) 𝖠 (𝑟 𝖠 𝑞)
1. 𝑡 → 𝑝 𝖠 𝑠
2. 𝑞 →∼ 𝑝
3. 𝑟 →∼ 𝑠
4. 𝑟 𝖠 𝑞
5. ∼ 𝑠 ∨∼ 𝑝
6. ∼ (𝑠 𝖠 𝑝)
7. ∼ 𝑡
h) Demostrar que:𝑟 & 𝑞
(𝑝 ∨ 𝑞) 𝖠 (𝑠 → 𝑞 𝖠 𝑟) 𝖠 (𝑝 → 𝑠) 𝖠 (𝑝 → 𝑠)
1. 𝑝 ∨ 𝑞
2. 𝑠 → 𝑞 𝖠 𝑟
3. 𝑝 → 𝑠
4. 𝑝 → 𝑠
5. (𝑝 ∨ 𝑞) → 𝑠
6. 𝑠
7. 𝑞 𝖠 𝑟
i)Demostrar: ∼ (𝑥 < 𝑦 𝖠 𝑥 = 1)
𝑥=𝑦→𝑥∼
< 𝑦 𝖠 (𝑦 = 0 ↔ 𝑥 ∼< 𝑦) 𝖠 (𝑥 = 0 ∨ 𝑥𝑦 = 0 → 𝑦 = 0)
𝖠 (𝑥 = 𝑦 → 𝑦 = 0) → 𝑥 = 0
1. 𝑥 = 𝑦 → 𝑥 ∼< 𝑦
2. 𝑦 = 0 ↔ 𝑥 ∼< 𝑦
3. 𝑥 = 0 ∨ 𝑥𝑦 = 0 → 𝑦 = 0
4. (𝑥 = 𝑦 → 𝑦 = 0) → 𝑥 = 0
5. 𝑥 ∼< 𝑦 → 𝑦 = 0
6. 𝑦 = 0 → 𝑥 ∼< 𝑦
𝐷𝑒 1 𝑦 5 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
7. 𝑥 = 𝑦 → 𝑦 = 0
𝐷𝑒 4 𝑦7 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
8. 𝑥 = 0
9. 𝑥 = 0 ∨ 𝑥𝑦 = 0
𝐷𝑒 3 𝑦 9 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
10. 𝑦 = 0
𝐷𝑒 6 𝑦 10 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
11. 𝑥 ∼< 𝑦
12. 𝑥 ∼< 𝑦 ∨ 𝑥 ≠ 1
j) Demostrar que 𝑥 < 𝑦 𝖠 𝑦 = 6
(𝑥 < 𝑦 ↔ 𝑥 = 0) 𝖠 (𝑦 = 6 ↔ 𝑥 + 𝑦 = 10) 𝖠 (𝑦 > 4 𝖠∼ (𝑥 + 𝑦 ≠ 10))
1. 𝑥 < 𝑦 ↔ 𝑥 = 0
2. 𝑦 = 6 ↔ 𝑥 + 𝑦 = 10
3. 𝑦 > 4 𝖠∼ (𝑥 + 𝑦 ≠ 10)
𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑚𝑜𝑠 3
4. 𝑦 > 4
5. ∼ (𝑥 + 𝑦 ≢ 10) → 𝑥 + 𝑦 = 10
 𝐷𝑒 2 𝑦 5 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑛𝑠:
6. 𝑦 = 6
7. 𝑦 = 6 𝖠 𝑥 < 𝑦
k) Demostrar que: 𝑟 ∨ 𝑠

(𝑐 ∨ 𝑑) 𝖠 (𝑐 ∨ 𝑑) →∼ 𝑓 𝖠 (∼ 𝑓 → 𝑎 𝖠∼ 𝑏) 𝖠 (𝑎 𝖠∼ 𝑏 → 𝑟 ∨ 𝑠)
1. 𝑐 ∨ 𝑑
2. (𝑐 ∨ 𝑑) →∼ 𝑓
3. ∼ 𝑓 → 𝑎 𝖠∼ 𝑏
4. 𝑎 𝖠∼ 𝑏 → 𝑟 ∨ 𝑠
𝑈𝑠𝑎𝑚𝑜𝑠 𝐿𝑒𝑦 𝑑𝑒 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝐻𝑖𝑝𝑜𝑡𝑒𝑡𝑖𝑐𝑜 𝑒𝑛 2 𝑦 3
5. (𝑐 ∨ 𝑑) → 𝑎 𝖠∼ 𝑏
𝑈𝑠𝑎𝑚𝑜𝑠 𝐿𝑒𝑦 𝑑𝑒 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝐻𝑖𝑝𝑜𝑡𝑒𝑡𝑖𝑐𝑜 𝑒𝑛 4 𝑦 5
6. (𝑐 ∨ 𝑑) → 𝑟 ∨ 𝑠
𝑈𝑠𝑎𝑚𝑜𝑠 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑒𝑛𝑠 𝑒𝑛 1 𝑦 6
7. 𝑟 ∨ 𝑠
l) Demostrar que:∼ 𝑠 𝖠 𝑞
(∼ 𝑠 → 𝑝) 𝖠∼ (𝑡 𝖠 𝑟) 𝖠 (𝑠 → 𝑡 𝖠 𝑟)
1. ∼ 𝑠 → 𝑝
2. ∼ (𝑡 𝖠 𝑟)
3. (𝑠 → 𝑡 𝖠 𝑟)
𝐷𝑒 2 𝑦 3 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
4. ~𝑠
𝐷𝑒 1 𝑦 4 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
5. 𝑞
𝐷𝑒 4 𝑦 5 𝑜𝑏𝑡𝑒𝑛𝑒𝑚𝑜𝑠:
6. ~𝑠 𝖠 𝑞