XII) Pruebe la validez de los siguientes razonamientos utilizando las reglas básicas

de la Lógica de Enunciados.

Ejemplo (a) :

(¬p → q) ∧ s , (q ∧ ¬p) → ¬¬r ⏐– (¬p → r) ∨ s

1. (¬p → q) ∧ s
2. (q & ¬p) → ¬¬r
3. ¬p → q (E∧) 1
----------4. ¬p
5. q (E→) 3, 4
6. q ∧ ¬p (I∧) 5, 4
7. ¬¬r (E→) 2, 6
----------8. r DN 7
9. ¬p → r (I→) 4 - 8
10. (¬p → r) ∨ s (I∨) 9

Otra forma de probar la validez del mismo razonamiento:

1. (¬p → q) ∧ s
2. (q ∧ ¬p) → ¬¬r
3. s (E∧) 1
4. (¬p → q) ∨ s (I∨) 3

Ejercicios propuestos:

1. p → q , p ⏐– q∨r

2. p→q, p, q→r ⏐– s∨r

3. p ∧ q , (p ∨ q) → t ⏐– t

4. (p ∧ q) → r , r → s ⏐– (p ∧ q) → s

5. p → (q ∧ ¬r) , (q ∨ r) → s ⏐– p→s

6. ¬p → q , (s ∨ q) → r ⏐– (¬p ∧ t) → r

7. p → q , r → s , (s ∧ q) → t ⏐– (p ∧ r) → t
Ejemplo (b):

p → (q ∨ r) , q → r , r → s ⏐– p→s

1. p → (q ∨ r)
2. q→r
3. r→s
------------4. p
5. q∨r (E→) 1, 4
--------6. q
7. r (E→) 2, 6
--------8. s (E→)3, 7
--------9. r
-------10. s (E→) 3, 9
------------11. s (E∨). 5, 6 - 8, 9 - 10
12. p→s (I→) 4- 11

Ejercicios propuestos:

8. p→q, r→s, p∨r ⏐– q∨s

9. p → q , p ∨ s , s → ¬¬t ⏐– q∨t

10. p → ¬s , q ∨ (t ∧ ¬s) , ¬s → ¬r ⏐– q ∨ (p → ¬r)

Ejemplo (c) :

(p ∨ q) → (r ∧ s) , ¬r ⏐– ¬q

1. (p ∨ q) → (r ∧ s)
2. ¬r
---------3. q
4. p∨q (I∨) 3
5. r∧s (E→) 1, 4
6. r (E∧) 5
---------7. ⊥ (I∧). 6, 2
8. ¬q (I¬). 3 - 7

Ejercicios propuestos:
11. p → ¬q , r → q ⏐– ¬(p ∧ r)

12. p → ¬q , r → p , q ⏐– ¬r

13. (p ∧ q) → (r → ¬s) , q ∧ s ⏐– p → ¬r
 14. p → ¬q , ¬q → ¬r ⏐– r → ¬p

15. p → q , q ∧ r → s ⏐– r → (p → s)

Ejemplo (d):

p → (q ∨ r) , ¬q , ¬r ⏐– ¬p

1. p → (q ∨ r)
2. ¬q
3. ¬r
-----------4. p
5. (q ∨ r) (E→) 1 y 4
-------6. q
----7. ⊥ (E¬)2 y 6
----8. r
----9 ⊥ (E¬) 3 y 8
-------10. ⊥ (E∨) 5, 6-7 y 8 -9.
---------11. ¬p (I¬) 4-10

Ejercicios de resolución optativa:

16. p , p → (q ∨ r) , ¬q ⏐– r

17. (p → q) ∧ (r → s) , ¬q ∨ ¬s , r ⏐– (p → ¬t)
XIII) Demuestre los siguientes teoremas utilizando las reglas básicas de la Lógica
de Enunciados.

Ejemplos:

(a) ⏐– (p → ¬p) → ¬p

-------1. p → ¬p
----2. p
3. ¬p (E→) 1, 2
----4. p ∧ ¬p (I∧). 2, 3
-------5. ¬p (I¬). 2 - 4
6. (p → ¬p) → ¬p (I→) 1 - 5

(b) ⏐– ((p ∧ q) → (r → ¬s)) → ((q ∧ s) → (p → ¬r))

------------------1. (p ∧ q) → (r → ¬s)
----------------2. q ∧ s
------------3. p
----------4. r
5. q (E∧) 2
6. p ∧ q (I∧). 3 y 5
7. r → ¬s (E→) 1 y 6
8. ¬s (E→) 7 y 4
9. s (E∧).2
----------10. s ∧ ¬s (I∧). 8 y 9
-------------11. ¬r (I¬) 4-10.
---------------12. p → ¬r (I→). 3-11.
------------------13. (q ∧ s) → (p → ¬r) (I→). 2-12.
14. ((p ∧ q) → (r → ¬s)) → ((q ∧ s) → (p → ¬r)) (I→)). 1-13

Ejercicios propuestos:

1. ⏐– q → (p → q)
2. ⏐– (p → r) → ((q → r) → ((p ∨ q) → r))
3. ⏐– ((p → r) ∧ (q → s)) → ((p ∨ q) → (r ∨ s))
4. ⏐– (p → q) → ((r → s) → ((p ∧ r) → (q ∧ s)))
5. ⏐– ((p → r) ∧ (q → s)) → ((p ∧ q) → (r ∧ s))
6. ⏐– (p → ¬q) → ((r → p) → (q → ¬r))
7. ⏐– (p → q) → ((q → r) → (¬r → ¬p))
8. ⏐– (p ∧ q) → (((p ∨ q) → t) → (p ∧ t))
9. ⏐– (p ∨ q) → ((p → (r ∧ s)) → ((q → (s ∧ t)) → s))
 XIV) Pruebe la validez de los siguientes razonamientos utilizando por lo menos
una regla derivada de la Lógica de Enunciados.

Ejemplos:
(a). p → (q ∨ r) , (q ∨ r) → s , p ∧ t ⏐– t∧s

1. p → (q ∨ r)
2. (q ∨ r) → s
3. p ∧ t
4. p → s SH 1 y 2 (Silogismo hipotético)
5. p (E∧) 3
6. t (E∧) 3
7. s (E→) 4 y 5
8. t ∧ s (I∧) 6 y 7

(b). p → (q ∧ r) , s → ¬r , s ∨ t , p ⏐– t

1. p → (q ∧ r)
2. s → ¬r
3. s ∨ t
4. p
5. q ∧ r (E→). 1 y 4
6. r (E∧) 5
7. ¬¬r IDN 6 (Introducción de doble negación)
8.¬s (E→) 2 y 7
9. t SD. 3 y 8 (Silogismo disyuntivo)

1. p∨q, q→s ⏐– ¬p → s
(Silogismo Disyuntivo: SD)

2. p → q , (r → q) → s ⏐– p → s
(Carga de Premisa: CPr)

3. p → q , r → (s ∨ p) , ¬q ⏐– r→s
(Modus Tollens: MT - Silogismo Disyuntivo: SD)

4. p → (q → r) , r → s , q ⏐– p→s
(Mutación de Premisas: MPr - Silogismo Hipotético: SH)

5. p ↔ q , r → p , q → (¬s & t) ⏐– r→t

(Eliminación del Coimplicador: E↔ - Silogismo Hipotético: SH)
Ejemplo:
(c) p → q , ¬p → r , r → s , s → (t ∧ u) ⏐– q ∨ (t ∧ u)

1. p → q
2. ¬p → r
3. r → s
4. s → (t ∧ u)
5. p ∨ ¬p PTE (Principio de tercero excluído)
6. ¬p → s. SH 2 y 3
7. ¬p → (t ∧ u) SH 6 y 4
8. q ∨ (t ∧ u) DCC 5, 1 y 7 (Dilema constructivo compuesto)

Otra forma de probar la validez del mismo razonamiento:

1. p → q
2. ¬p → r
3. r → s
4. s → (t ∧ u)
5. ¬q → ¬p RIFE, Ctrp.1 (regla de intercambio o metateorema de reemplazo de
fórmulas equivalentes, contraposición)
6. ¬q → r SH. 5 y 2
7. ¬q → s SH. 6 y 3
8. ¬q → (t ∧ u) SH. 7 y 4
9. ¬¬q ∨ (t ∧ u) Def →/¬∨ 8 (interdefinición del condicional mediante negación y
disyunción)
10. q ∨ (t ∧ u) RISFE, EDN. 9. (regla de intercambio o metateorema de
reemplazo de subfórmulas equivalentes y eliminación de doble
negación)

6. ¬(p ∧ q) → s , ¬p ⏐– s
(RISFE - De Morgan)

7. ¬(p ∨ q) ∧ s , t → ¬s ⏐– ¬t ∧ ¬p
(RIFE - De Morgan - Introducción de doble negación: IDN - Modus Tollens)
Ejemplo (d)

(d). p → (q → r) , ¬q → s ⏐– (p ∧ ¬r) → s

1. p → (q → r)
2. ¬q → s
3. q → (p → r) MPr. 1
4. ¬(p → r) → ¬q Ctrp. 3
5. ¬(p → r) →s SH. 4 y 2
6. (p ∧ ¬r) → s RISFE, Def ∧/¬→. 5

Otra forma de probar la validez del mismo razonamiento:

(d). p → (q → r) , ¬q → s ⏐– (p ∧ ¬r) → s

1. p → (q → r)
2. ¬q → s
3. p → (¬r → ¬q) RIFE, Ctrp, 1 (regla de intercambio o metateorema de reemplazo de
fórmulas equivalentes y contraposición)
4. (p ∧ ¬r) → ¬q Imp. 3 (importación)
5. (p ∧ ¬r) → s SH. 4 y 2

8. p→q, r→s, p∨r ⏐– q∨s

9. p → q , p ∨ s , s → ¬¬t ⏐– q∨t
10. p → q , ¬p → r ⏐– q ∨ r (puede emplear PTE y DCC)
11. p → (q ∨ r) , (q → ¬s) , (r → ¬s) ⏐– p → ¬s
12. p ∨ q , r → (s → ¬q) , ¬p ⏐– ¬r ∨ ¬s
13. p ∨ q , q → r , r → s , p → t , t → s ⏐– s
14. p → ¬q , r → p , q ⏐– ¬r (puede emplear IDN y MT)
15. (p ∧ q) → (r → ¬s) , q ∧ s ⏐– p → ¬r
16. p → (q ∨ r) , ¬(¬q ∧ ¬r) → t , p ∧ s ⏐– t∨u
17. p ∨ q , ¬q , p → q ⏐– r
18. (r ∨ s) ∨ t , (r ∨ s) → p , ¬p → ¬t ⏐– p
19. p ∨ q , p → (r ∧ s) , q → (s ∧ t) ⏐– s (emplee DCC y distribución de la
disyunción con respecto a la conjunción)
XV) Demuestre los teoremas 1, 2, 3, 6, 7 y 9 del ejercicio XIII, utilizando tanto reglas
básicas como derivadas.

Ejemplos:

(a) ⏐– (p → ¬p) → ¬p

---1. p → ¬p
2. ¬(p ∧ p) Def. →/ ¬∧, 1
3. ¬p ∨ ¬p De Morgan: N∧, 2 (negación de la conjunción)
---4. ¬p Idempotencia de ∨, 3
5. (p → ¬p) → ¬p (I→)1-4

(b) ⏐– ((p ∧ q) → (r → ¬s)) → ((q ∧ s) → (p → ¬r))

------1. ((p ∧ q) → (r → ¬s))

2. p → (q → (r → ¬s)) Exp1 (Exportación)
3. q → (p → (r → ¬s)) MPr. 2
4. q → (p → (s → ¬r)) Ctrp., RI 3
5. q → (s → (p → ¬r)) MPr. 4
------6. q ∧ s → (p → ¬r) Imp5 (Importación)
7. ((p ∧ q) → (r → ¬s)) → ((q ∧ s) → (p → ¬r)) (I→)-1-6

Otra forma de probar la teorematicidad de la misma fórmula:

(b) ⏐– ((p ∧ q) → (r → ¬s)) → ((q ∧ s) → (p → ¬r))

------1. ((p ∧ q) → (r → ¬s))

2. (q ∧ p) → (r → ¬s) RISFE, Conm∧. 1
3. (q ∧ p) → (¬¬s → ¬r) RISFE, Ctrp, 2
4. (q ∧ p) → (s → ¬r) RISFE, EDN. 3
5. (q ∧ p) ∧ s → ¬r Imp. 4
6. (q ∧ s) ∧ p → ¬r RISFE, Asoc.∧ 5.
7. (q ∧ s) → (p → ¬r) Exp. 6
------8. ((p ∧ q) → (r → ¬s)) → ((q ∧ s) → (p → ¬r)) (I→)1-7
XVI) Simbolice los siguientes razonamientos indicando el código empleado, y
pruebe su validez utilizando las reglas básicas y/o derivadas de la Lógica de
Enunciados.

Ejemplos :

a. La inflación se detendrá sólo si disminuye la emisión de moneda. La emisión de

moneda no disminuye. Por lo tanto, la inflación no se detendrá.

Código: p : La inflación se detendrá.

q : Disminuye la emisión de moneda.

Simbolización: p → q , ¬q ⏐– ¬p

Prueba formal de validez: Otra forma de probar la validez del mismo

razonamiento:
1. p → q
2. ¬q 1. p→q
------3. p 2. ¬q
4. q (E→) 1 y 3 3. ¬p MT 3,2.
------5. ⊥ (E¬) 4, 2
6. ¬p (I¬). 3 - 5

b. O los precios bajan o hay insatisfacción e intranquilidad social. Puesto que si hay
sobreproducción, los precios bajan. Pero si no hay sobreproducción, las fábricas
suspenden el trabajo. Además, si las fábricas suspenden el trabajo, el número de
desempleados aumenta. Y si hay más desempleados, hay insatisfacción e intranquilidad
social.

Código: p: Los precios bajan; q: Hay insatisfacción; r: Hay intranquilidad social; s: Hay sobreproducción;
t: Las fábricas suspenden el trabajo; u: El número de desempleados aumenta

Simbolización: s → p, ¬s → t, t → u, u → q ∧ r ⏐– p ∨ (q ∧ r)

Prueba formal de validez:

1. s → p
2. ¬s → t,
3. t → u
4. u → q ∧ r
5. s ∨ ¬s PTE
6. ¬s → u SH. 2 y 3
7. ¬s → q ∧ r SH 6 y 4
8. p ∨ (q ∧ r) DCC. 5, 1 y 7
1. Este libro es superfluo o falso. Pues, o coincide con las verdades reveladas en el texto
sagrado, o no lo hace. Pero si coincide, entonces es superfluo, y si no coincide, es
indudablemente falso.

2. Si estoy destinado a desaprobar este examen, es inútil que me esfuerce estudiando; si no es

así, no hace falta que lo haga. En consecuencia, o es inútil o no hace falta que me esfuerce
estudiando, dado que o estoy destinado a desaprobar este examen o no lo estoy.

3. Si juego al tenis o practico natación, entonces participo en torneos y obtengo medallas. Pero
no es cierto que obtengo medallas. Por lo tanto, no practico natación.

4. Si aumenta el precio del petróleo, EEUU invadirá Venezuela o Dubai. Ahora bien, EEUU
no invadirirá Venezuela ni Dubai. De aquí se infiere que no aumentará el precio del
petróleo.

5. Sólo si hubo evidencia de fraude electoral, intervendrá el poder judicial y se realizará

nuevamente el escrutinio. En consecuencia, no intervendrá el poder judicial o no se
realizará nuevamente el escrutinio, pues no hay evidencia de fraude electoral.

6. Si estudio filosofía, me dedicaré a la docencia o a la investigación. Por consiguiente, si

estudio filosofía, no ganaré mucho dinero. Ya que, si me dedico a la docencia no ganaré
mucho dinero, y si me dedico a la investigación tampoco.

7. Los criminales eran extranjeros o analfabetos. Si entre los indicios hallados en la casa de los
ladrones había recortes de periódicos, entonces, si eran relativos al robo, los ladrones no
eran extranjeros ni tampoco analfabetos. Luego, o no había recortes de periódicos, o no eran
relativos al robo.

8. 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, 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. Por lo tanto, Andrés estaba en el
edificio en el momento del crimen, dado que el reloj está adelantado.