EJERCICIOS RESUELTOS

1. Si suben los salarios, entonces suben los precios. Si suben los precios, entonces
baja el poder adquisitivo de la moneda. Es as que suben los salarios. Luego baja
el poder adquisitivo de la moneda.
Formalizacin: ((p q) (q r) p) r
pq P
qr P
p P

Demostracin:
Directa.
1. p q P
2. q r P
3. p P
4. q MP 1,3.
5. r MP 2,4.

Reduccin al absurdo
1. p q P
2. q r P
3. p P
-- 4. r Hiptesis
5. q MT 2,3.
6. p MT 1,4.
7. p p RI 3,6.
8. r RI 4-7.
9. r RE 8

2. Si no hay control de nacimientos, entonces la poblacin crece ilimitadamente. Pero si

la poblacin crece ilimitadamente, aumentar el ndice de pobreza. Por consiguiente, si
no hay control de nacimientos, aumentar el ndice de pobreza.

Formalizacin: ((p q) (q r)) (p r)

p q P
q r P

p r

Demostracin:
1. p q P
2. q r P
3. p Hiptesis
4. q MP 1,3.
5. r MP 2,4.
6. p r RI 3-5
 3. Si un animal es bpedo, entonces es humano o es un ave. Slo si es un ave, tiene
plumas. Por lo tanto si un animal es bpedo y no tiene plumas, entonces es
humano. (Derivacin directa y reduccin al absurdo).

Formalizacin: ((p (qr)) (rs)) ((ps) q)

p (qr) P
rs P

(ps) q

Demostracin:
1. p (qr) P
2. rs P
--3. ps Hiptesis
4. p RE 3
5. s RE 3
6. r s RE 2
7. r MT 5,6.
8. q r MP 1, 4.
9. q SD 7,8.
10. (ps) q RI 3-9

4.Si los jvenes socialistas alemanes apoyan a Brand, entonces renuncian a su programa
de reivindicaciones. Y si combaten a Brand, entonces favorecen a Straus. Pero una de
dos, o apoyan a Brand o lo combaten. Por consiguiente, habrn de renunciar a su
programa de reivindicaciones o favorecer a Straus.

Formalizacin: ((pq) (rs) (p r)) (qs)

pq P
rs P
pr P

qs

Demostracin:
Directa
1. pq P
2. rs P
3. p r P
-- 4. p Hiptesis
5. q MP 1,4.
6. q s RI v 5
-- 7. r Hiptesis
8. s MP 2,7.
 9. q s RI v 7
10. q s RE v 3, 4-6, 7-9
Reduccin al absurdo
1. pq P
2. rs P
3. pr P
-- 4. (qs) Hiptesis
5. q s LM 4.
6. q RE 5
7. s RE 5
8. p MT 1,6.
9. r MT 2,7.
10. p SD 3,9.
11. p p RI 8,10.
12. (qs) RI 4-11.
13. qs RE 12.

5.Si dos gases tienen la misma temperatura, entonces sus molculas tienen el mismo
promedio de energa cintica; volmenes de dos gases son iguales, si y slo si tienen el
mismo nmero de molculas. Las presiones de dos gases son iguales, si es el mismo su
nmero de molculas y sus energas cinticas son iguales. Por consiguiente, si dos gases
tienen la misma temperatura y el mismo volumen, entonces tienen la misma presin.

Formalizacin: ((pq) (rs) ((sq)t)) ((pr)t)

pq P
rs P
(sq)t P
(pr)t

Demostracin:

1. pq P
2. rs P
3. (sq)t P
-- 4. pr Hiptesis
5. p RE 4.
6. r RE 4.
7. q MP 1, 5.
8. rs RE 2.
9. s MP 6,8.
10. sq RI 7,9.
11. t MP 3,10.
12. (pr)t RI 4-11