EJERCICIOS DE LOGICA Y ARGUMENTACION

Demostrar que los siguientes razonamientos son vlidos:

1. Si usurp un poder que no le corresponda por derecho propio, Napolen debe ser
condenado. O Napolen fue un soberano legtimo o usurp un poder que no le
corresponda por derecho propio. Napolen no fue un soberano legtimo. Luego
Napolen debe ser condenado.
2. Si la ciudadana romana hubiera sido garanta de los derechos civiles, los
ciudadanos romanos habran gozado de libertad religiosa. Si los ciudadanos
romanos hubieran gozado de libertad religiosa, no se habra perseguido a los
primeros cristianos. Pero los primeros cristianos fueron perseguidos. Por
consiguiente, la ciudadana romana no puede haber sido garanta de derechos
civiles.
3. Si A fue elegido candidato, entonces vino a la capital, si vino a la capital, hizo aqu
campaa electoral. Si hizo campaa electoral aqu, tuvo que encontrarse con D.
pero no se encontr con D. o bien A fue elegido candidato o se eligi a alguien con
mayores posibilidades. Luego se eligi a alguien con mayores posibilidades.

4. Demostrar si es una argumentacin vlida.

1. Si las leyes no existieran, todo estara permiti.
2. Si las leyes no existirn, no habra normas morales.
3. Hay normas morales.
__________________
Por lo tanto las leyes existen.

5. Aristteles naci en Estagira y fue tutor de Alejandro Magno. Pero si naci en

Estagira fue de nacionalidad macednica. Por tanto, Aristteles fue de
nacionalidad macednica. (e, t, m)

6. 1. C encontces h
1. H entonces r
2. No r
3. No c entonces m
4. M entonces i
____________
i
7. Demostrar no p
1. p entonces q
2. r o s
3. s entonces no q
4. no r

8. Crisipo, el lgico ms relevante de la Escuela Estoica, sostena que hasta el perro

utiliza el razonamiento hipottico cuando siguiendo el rastro de una presa llega a
una encrucijada de tres caminos y tras olfatear los dos primeros por los que la
presa no ha seguido se lanza por el tercero sin detenerse a olfatearlo. Segn
Crisipo el perro razonara as: Ha seguido por este camino, o por este segundo, o
por este tercero. No ha seguido por el primero ni por el segundo. Luego, ha
seguido por el tercero. (p, s, t).

9. El oxgeno del tubo, o bien se combin con el filamento para formar un xido, o
bien se evapor completamente. El oxgeno del tubo no puede haberse evaporado
totalmente. Luego, el oxgeno del tubo se combin con el filamento para formar un
xido. (c, e)

10. Si el tabaco produce cncer, entonces, si los jvenes comienzan a fumar ahora con
menos edad que en el pasado, habr una mayor proporcin de individuos jvenes
que contraiga cncer. Pero, aunque la gente empieza a fumar ahora con menos
edad que en el pasado, no es cierto que hay una mayor proporcin de jvenes que
contraen cncer. Por tanto, el tabaco no produce cncer.

11. Puedo ser administrador o psiclogo, pero eleg no ser administrador. Por lo tanto
soy psiclogo.

12. Demostrar si es una argumentacin vlida:

1. No q
2. No (roq) o (h o L)
3. No no q o (r o q)
_____________
Hol
 13. Si el reloj est adelantado, entonces juan lleg antes de las diez y vio partir el carro
de Andrs.
Si Andrs dice la verdad, entonces Juan no vi partir el carro de Andrs.
O Andrs dice la verdad, o estaba en el edificio en el momento del crimen.
El reloj est adelantado.
Por lo tanto,
Andrs estaba en el edificio en el momento del crimen.

14. Demostrar que el siguiente razonamiento es vlido:

1. (R entonces q) y (no no no p entonces s)
2. R
3. No s
________________
Pyq

15. No no (q entonces p) y (q y s)
____________
Pyq

16. Si el lgebra es obligatoria o la geometra es obligatoria, entonces todos los

alumnos estudiarn matemticas. El lgebra es obligatoria y la trigonometra es
obligatoria. Por tanto, todos los alumnos estudiarn matemticas. (a, g, m, t).

Utilizar el modus ponendo ponenens o el modus tollendo tollens para inferir la conclusin
en las siguientes argumentaciones y justificar cada paso:

17 No p o t, entonces s o r
P entonces t
____________

18 T
T entonces no q
No q entonces no s
__________________

19 No t
P entonces t
No p entonces no s
__________________

20 No s entonces q
no (t y r)
s entonces (t y r)
________________
q