1.
Orden Lógico
1.- [(𝑞𝑣𝑞)𝑣(𝑞^𝑝)]
1. (𝑞𝑣𝑞); (𝑞^𝑝)
2. (𝑞𝑣𝑞)𝑣(𝑞^𝑝)
2.- [(~𝑟) → (𝑞𝑣𝑝)] ↔ (𝑟^𝑞)
1. (~𝑟); (𝑞𝑣𝑝); (𝑟^𝑞)
2. [(~𝑟) → (𝑞𝑣𝑝)]
3. [(~𝑟) → (𝑞𝑣𝑝)] ↔ (𝑟^𝑞)
3.- (𝑟𝑣𝑞) ^(𝑞 → 𝑝) → (𝑝𝑣𝑟)
1. (𝑟𝑣𝑞) ; (𝑎 → 𝑝); (𝑝𝑣𝑟)
2. [(𝑟𝑣𝑞) ^(𝑎 → 𝑝)]
3. [(𝑟𝑣𝑞) ^(𝑎 → 𝑝)] → (𝑝𝑣𝑟)
4.- [(𝑞 → 𝑝) ^~(𝑞)] → ~𝑝
1. (𝑞 → 𝑝)
2. ~(𝑞)
3. (𝑞 → 𝑝) ^~(𝑞)
4. [(𝑞 → 𝑝) ^~(𝑞)] → ~𝑝
5.- 𝑝 ↔ [𝑞^(𝑟 → ~𝑞) → 𝑝]
1. (𝑟 → ~𝑞)
2. 𝑞^(𝑟 → ~𝑞)
3. (𝑞^(𝑟 → ~𝑞)) → 𝑝
4. 𝑝 ↔ [𝑞^(𝑟 → ~𝑞) → 𝑝]
6.- (𝑝^𝑞) ↔ (𝑟 → 𝑞)^ (𝑟 𝑣~𝑞) → (𝑝^𝑞)
1. (𝑝^𝑞); (𝑟 → 𝑎); (𝑟𝑣~𝑞); (𝑝^𝑎)
2. (𝑟 → 𝑎)^ (𝑟 𝑣~𝑞)
3. ((𝑟 → 𝑞)^(𝑟 𝑣~𝑞)) → (𝑝^𝑞)
4. (𝑝^𝑞) ↔ [(𝑟 → 𝑞)^ (𝑟 𝑣~𝑞) → (𝑝^𝑞)]
7.- 𝑟𝑣𝑞 → [(𝑝 → ~𝑟) ^(𝑞𝑣𝑝) → 𝑟] ↔ 𝑞
1. (𝑝 → ~𝑟); (𝑞𝑣𝑝)
2. (𝑝 → ~𝑟) ^(𝑞𝑣𝑝)
3. ((𝑝 → ~𝑟) ^(𝑞𝑣𝑝)) → 𝑟
4. 𝑟𝑣𝑞 → [(𝑝 → ~𝑟) ^(𝑞𝑣𝑝) → 𝑟]
5. (𝑟𝑣𝑞 → [(𝑝 → ~𝑟) ^(𝑞𝑣𝑝) → 𝑟]) ↔ 𝑞
8.- [(𝑎^𝑝) → (𝑟 ↔ 𝑝)^~𝑞]𝑣𝑞
1. (𝑎^𝑝); (𝑟 ↔ 𝑝)
2. (𝑟 ↔ 𝑝)^~𝑞
3. (𝑎^𝑝) → ((𝑟 ↔ 𝑝)^~𝑞)
4. [(𝑎^𝑝) → (𝑟 ↔ 𝑝)^~𝑞] 𝑣𝑞
9.- [~(𝑡𝑣𝑞)^𝑡] ↔ 𝑝^(𝑡 ~𝑞)
1. (𝑡𝑣𝑞); (𝑡 ~𝑞)
2. ~(𝑡𝑣𝑞); 𝑝^(𝑡 ~𝑞)
3. ~(𝑡𝑣𝑞)^𝑡
4. [~(𝑡𝑣𝑞)^𝑡] ↔ [𝑝^(𝑡 ~𝑞)]
10.- [𝑝 → (~𝑟𝑣𝑠)𝑣~(𝑝^𝑟)] → 𝑠
1. (~𝑟𝑣𝑠); (𝑝^𝑟)
2. ~(𝑝^𝑟)
3. (~𝑟𝑣𝑠)𝑣~(𝑝^𝑟)
4. 𝑝 → ((~𝑟𝑣𝑠)𝑣~(𝑝^𝑟))
5. [𝑝 → (~𝑟𝑣𝑠)𝑣~(𝑝^𝑟)] → 𝑠
2. Tablas de Verdad
11.- (𝑝 → 𝑞) ↔ (~𝑞 → ~𝑝)
Tautología
12.- (𝑝 → 𝑞) ↔ (𝑝 ~𝑞) → (𝑝)
13.- (𝑝 ↔ 𝑞) ↔ (𝑝^𝑞)𝑣(~𝑝 ~𝑎)
Tautología
14.- (𝑝^𝑞) ↔ (𝑝 → ~𝑞)^(𝑝𝑣𝑞)
15.- (~𝑝 → 𝑞) → (~𝑝^𝑞)
3. Ecuaciones Lógicas (Texto a ecuación)
16.- Si un perro ladra entonces tiene hambre o tiene sed, el perro no ladra si hay
alguien en casa o alguna luz esta prendida. El perro no tiene hambre ni sed por lo tanto
no ladra.
p: Perro ladra
q: Tiene hambre
r: Tiene sed
s: Hay alguien en casa
t: Hay una luz prendida
[[𝑝 → (𝑞𝑣𝑟)^~𝑝 → (𝑠𝑣𝑡)]^~(𝑞𝑣𝑟)] → ~𝑝
17.- Si tengo zapatillas mojadas no jugare hoy y mis zapatillas están mojadas porque
llovió el día de ayer o no hizo sol. Ayer hizo sol por lo tanto jugare hoy.
p: Zapatillas mojadas
q: jugar hoy
r: llovió ayer
s: hizo sol
[(𝑝 → ~𝑞)^𝑝 → (𝑟𝑣~𝑠)^𝑠] → 𝑞
18.- Si adelantamos física saldremos antes de las 8pm, si adelantamos algebra
saldremos antes de las 8pm. Luego si adelantamos algebra o física saldremos antes de
las 8.
p: Adelantar física
q: Salir antes de las 8pm
r: Adelantar Algebra
[(𝑝 → 𝑞)^(𝑟 → 𝑞)]^(𝑝𝑣𝑟) → 𝑞
19.- Un foco esta prendido o está apagado, esta prendido si tiene corriente y no esta
quemado, hoy no hay corriente entonces el foco está apagado.
p: Foco prendido
q: Foco Apagado
r: Hay corriente
s: Foco quemado
[(𝑝𝑣𝑞)^((𝑟^~𝑠) → 𝑝)^~𝑟] → 𝑞
20.- Si no almuerzo entonces tendré dolor de estómago, no pondré atención a clases
porque tengo dolor de estómago. Hoy almorcé entonces pondré atención a clases.
p: Almorzar
q: Tener dolor de estomago
r: Poner atención a clases
[(~𝑝 → 𝑞)^(𝑞 → ~𝑟)^𝑝] → 𝑟
6. Equivalencia e implicación lógica
21. A partir de la siguiente proposición 𝑝 → (𝑞 → 𝑟), demostrar que es igual 𝑝^𝑞 →
𝑟
𝑝 → (𝑞 → 𝑟) x proposicion
𝑝 → (~𝑞𝑣𝑟)
~𝑝𝑣(~𝑞𝑣𝑟)
(~𝑝𝑣~𝑞)𝑣𝑟 x asociativa
~(𝑝^𝑞)𝑣𝑟 x ley de morgan
(𝑝^𝑞) → 𝑟
22. A partir de la siguiente proposición (𝑝^~𝑞) → (~𝑝𝑣𝐹), demostrar que es igual
a: 𝑝 → 𝑞
(𝑝^~𝑞) → (~𝑝𝑣𝐹)
~(𝑝^~𝑞)𝑣(~𝑝𝑣𝐹)
~(𝑝^~𝑞)𝑣(~𝑝𝑣(𝑝^~𝑝))
~(𝑝^~𝑞)𝑣~𝑝
(~𝑝𝑣𝑞)𝑣~𝑝
(~𝑝𝑣~𝑝)𝑣𝑞
~𝑝𝑣𝑞
𝑝→𝑞
23. A partir de la siguiente proposición (𝑝^~𝑝)^(𝑝^(𝑞𝑣𝑝)), demostrar que es igual
a: 𝑝
(𝑝^~𝑝)^(𝑝^(𝑞𝑣𝑝))
(𝑉)^(𝑝^(𝑞𝑣𝑝))
(𝑉)^(𝑝^(𝑞𝑣𝑝))
𝑝^(𝑝𝑣𝑞)
𝑝
24. A partir de la siguiente proposición ~(~(~𝑝𝑣𝑞) → 𝑝)𝑣𝑞, demostrar que es
igual a: 𝑞
~(~(~𝑝𝑣𝑞) → 𝑝)𝑣𝑞
~((~𝑝𝑣𝑞)𝑣𝑝)𝑣𝑞
~((~𝑝𝑣𝑞𝑣𝑝))𝑣𝑞
~((~𝑝𝑣𝑝)𝑣𝑞)𝑣𝑞
~(𝑉𝑣𝑞)𝑣𝑞
~(𝑉)𝑣𝑞
~𝐹𝑣𝑞
𝑞
25. A partir de la siguiente proposición (~𝑝^𝑞) → (𝑞 → 𝑝), demostrar que es igual
a: ~𝑞𝑣𝑝
(~𝑝^𝑞) → (𝑞 → 𝑝)
(~𝑝^𝑞) → (~𝑞𝑣𝑝)
~(~𝑝^𝑞)𝑣(~𝑞𝑣𝑝)
(𝑝𝑣~𝑞)𝑣(~𝑞𝑣𝑝)
𝑝𝑣~𝑞𝑣~𝑞𝑣𝑝
(𝑝𝑣𝑝)𝑣(~𝑞𝑣~𝑝)
𝑝𝑣~𝑞
~𝑞𝑣𝑝
26. A partir de la siguiente proposición [~(𝑝 → 𝑞) → ~(𝑞 → 𝑝)]^(𝑝𝑣𝑞), demostrar
que es igual a: 𝑞
[~(𝑝 → 𝑞) → ~(𝑞 → 𝑝)]^(𝑝𝑣𝑞)
[~(~𝑝𝑣𝑞) → ~(~𝑞𝑣𝑝)]^(𝑝𝑣𝑞)
[(~𝑝𝑣𝑞)𝑣~(~𝑞𝑣𝑝)]^(𝑝𝑣𝑞)
[(~𝑝𝑣𝑞)𝑣(𝑞^~𝑝)]^(𝑝𝑣𝑞)
[~𝑝𝑣(𝑞𝑣(𝑞^~𝑝))]^(𝑝𝑣𝑞)
[~𝑝𝑣𝑞]^(𝑝𝑣𝑞)
((~𝑝𝑣𝑞)^𝑝)𝑣((~𝑝𝑣𝑞)^𝑞))
((~𝑝𝑣𝑞)^𝑝)𝑣𝑞
(𝑞^𝑝)𝑣𝑞
27. A partir de la siguiente proposición (~𝑝 → 𝑞)𝑣~(𝑞 → 𝑝), demostrar que es igual
a: 𝑝𝑣𝑞
(~𝑝 → 𝑞)𝑣~(𝑞 → 𝑝)
(𝑝𝑣𝑞)𝑣~(~𝑞𝑣𝑝)
(𝑝𝑣𝑞)𝑣(𝑞^~𝑝)
𝑝𝑣(𝑞𝑣(𝑞^~𝑝))
𝑝𝑣𝑞
28. A partir de la siguiente proposición (𝑝 → ~𝑞)^~(~𝑞 → 𝑝), demostrar que es igual
a: (~𝑞^~𝑝)
(𝑝 → ~𝑞)^~(~𝑞 → 𝑝)
(~𝑝𝑣~𝑞)^~(𝑞𝑣𝑝)
(~𝑝𝑣~𝑞)^(~𝑞^~𝑝)
((~𝑝𝑣~𝑞)^~𝑞^)~𝑝)
~𝑞^~𝑝
29. A partir de la siguiente proposición (~𝑞 → ~𝑝),demostrar que es igual a: (𝑝 → 𝑞)
(~𝑞 → ~𝑝)
~(~𝑞)𝑣~𝑝
𝑞𝑣~𝑝
~𝑝𝑣𝑞
~(~𝑝) → 𝑞
𝑝→𝑞
30. A partir de la siguiente proposición ~[~(𝑝^𝑞) → ~𝑞]𝑣𝑞, demostrar que es igual a:
𝑞
~[~(𝑝^𝑞) → ~𝑞]𝑣𝑞
~[(𝑝^𝑞)𝑣~𝑞]𝑣𝑞
~[~𝑝𝑣𝑞]𝑣𝑞
(𝑝^~𝑞)𝑣𝑞
31. Demostrar 𝑟 → ~𝑞 a partir de:
1. ~(𝑟^𝑠)
2. ~𝑠 → ~𝑞
A: ~𝑟𝑣~𝑠 Morgan 1
B: 𝑟 → ~𝑠
C: 𝑟 → ~𝑞 Silogismo Hipotetico B y 2
32. Demostrar 𝑞 a partir de:
1: ~𝑞 → ~𝑝
2: 𝑟𝑣𝑝
3: 𝑟 → 𝑠
4: ~𝑠
A: ~𝑟 MTT
B: ~𝑟 → 𝑝
C: 𝑝
D: ~(~𝑞𝑣~𝑝)
F: 𝑞^𝑝
G: 𝑞
33. Demostrar 𝑟 a partir de:
1: ~(𝑝^𝑞) → (𝑟^~𝑠)
2: 𝑞 → ~𝑝
a: ~𝑞𝑣~𝑝 Ley logica en 2
b: ~𝑝𝑣~𝑞 Ley conmutativa
c: ~(𝑝^𝑞) Ley Morgan
d: 𝑟^~𝑠 MPP
f: 𝑟
34. Demostrar 𝑟^𝑠 a partir de:
1: 𝑝 → ~𝑞
2: 𝑞
3: ~𝑝 → 𝑟^𝑠
4: 𝑝
A: ~𝑝 MPT 1 Y 2
B: 𝑟^𝑠 MPT 3 y A
35. Demostrar ~𝑝𝑣𝑠 a partir de:
1: 𝑝 → ~𝑞
2: ~𝑞 → 𝑟
3: 𝑠𝑣𝑟
A: 𝑝 → 𝑟 Silogismo hipotetico 1 y 2
B: ~𝑝𝑣𝑟 Ley logica en A
C: 𝑟𝑣~𝑝 Ley conmutativa
D: ~𝑟 → ~𝑝 Ley logica en C
F: 𝑞𝑣𝑟 Ley logica en 2
G: ~𝑝𝑣𝑠 Silogismo disyuntivo B y 3