Curso-taller de actualizacin de Lgica para Docentes

17 y 18 de julio de 2014 (Ejercicios)

BLOQUE I. RECONOCE EL DESARROLLO HISTRICO DE LA LGICA Y CONCEPTOS BSICOS
El concepto
Regla de la extensin y la comprensin:
A mayor extensin menor comprensin y a menor extensin mayor comprensin
.
I. Divide la siguiente lista de trminos en 3 grupos, ordenados de menor a mayor extensin.
Animal, literatura, cuadrpedos, alimentos que se cosechan, perro, frutas, alimentos, Novela, fresas, Don quijote de la
Mancha, mamferos.
BLOQUE II. IDENTIFICA Y ANALIZA ARGUMENTACIONES
Estructura de un argumento
II. Identifica premisa(s) y conclusin en cada fragmento: Copi, I. & Cohen. (2011, pp. 10-11.)

Indicadores de premisas
_____ y _____
_____ Pero _____
Ya que _________
______ . _______
Puesto que ______
Pues ___________

Indicadores de conclusin
Por lo tanto ______
As______
Se sigue _____
Luego _______

3. El buen juicio es, de entre todas las cosas del mundo, la distribuida de modo ms equitativo, pues cualquiera piensa que
lo tiene en abundancia, y aun aquellos que son tan difciles de complacer en todo lo dems, comnmente no desean tener
ms del que ya poseen.

- Ren Descartes, Discurso del mtodo, 1637.

4. De todas nuestras pasiones y apetitos, el amor al poder es el de naturaleza humana ms antisocial y arrogante, ya que el
orgullo de un hombre exige la sumisin de la muchedumbre.
-

Edward Gibbon, Historia y Cada del Imperio Romano, vol. 1, cap. IV.

5. Guardaos de juzgar, pues todos somos pecadores.

- William Shakespeare, Henry VI, Parte II, tercer acto, tercer escena.
10. Puesto que la luz se desplaza con una velocidad finita, observar objetos que estn a millones de kilmetros de
distancia es, de hecho, observar luz que fue emitida muchos aos atrs.
- D. Richstone, University of Michigan Joins Magellan Project, The Ann arbor News, 13 de febrero de 1996.
11. Lo que detiene a mucha gente de fotocopiar un libro y drselo a un amigo, no es la integridad sino la logstica; es ms
fcil y menos caro comprarle a tu amigo una edicin rstica.
-

Randy Cohen, The New York Times Magazine, 26 de marzo de 2000.

BLOQUE III: EVALA ARGUMENTOS DE LA LGICA INFORMAL

1

Falacias
Falacias de relevancia: ocurren cuando las premisas no son
relevantes para la conclusin extrada, aunque parecen ser
relevantes.
Apelacin a la emocin:
La pista falsa
El hombre de paja
Apelacin a la fuerza (ad baculum)
El argumento contra la persona (ad hominem)
Conclusin irrelevante (ignoratio elenchi)
Falacias de induccin deficiente

El argumento de la ignorancia
Apelacin a la autoridad
Causa falsa
Generalizacin precipitada

Falacias de presuposicin: surgen porque se asume

demasiado en las premisas.

Accidente
Pregunta compleja
Peticin de principio

Falacias de ambigedad: urgen por el uso equvoco de

palabras o frases en las premisas o en la conclusin.
Equvoco
Anfibologa
Acento
Composicin
Divisin

III. Anota la falacia que se comete en cada fragmento. Copi, I. & Cohen. (2011, pp. 165-204)
Falacias de relevancia
2. Nietzsche era en lo personal ms filosfico que su filosofa. Su discurso sobre el poder, la crueldad y la soberbia
inmoralidad era la mana de un joven estudiante inofensivo y de un invlido inconstitucional.
- George Santayana, Egotism in German Philosophy.

7. De acuerdo con R. Grunberger, autor de la Historia social del Tercer Reichm los editores nazis acostumbraban enviar el
siguiente aviso a los lectores alemanes que dejaban que se venciera su peridico de suscripcin: Nuestro peridico
definitivamente merece el apoyo de cada alemn. Continuaremos envindole ejemplares del mismo y esperamos que usted
no quiera exponerse a las lamentables consecuencias en el caso de cancelacin.
Falacias de presuposicin y de induccin deficiente
6. Siempre me ha parecido que mirar la Luna nueva por encima del hombro izquierdo es una de las mayores tonteras
que puede cometer un hombre. Hank Bunker, el viejo, lo hizo una vez y presuma de ello; y antes de que pasaran dos aos
bebi y se call de la torre, y qued tan aplastado que pareca un papel, y tuvieron que enterrarlo entre dos puertas, a
manera de atad. Al menos eso es lo que dicen, porque yo no lo vi. Mi padre me lo cont. Como sea, el hecho es que eso
resulta de mirar la Luna de esa forma, como un tonto.

- Mark Twain, Las Aventuras de Huckleberry Finn, 1885.

8. No existe tal cosa como un conocimiento que no pueda llevarse a la prctica, porque tal conocimiento no es en verdad
conocimiento en absoluto.

- Wang Yang-Ming, Apuntes de lo transmitido por el maestro.

Falacias de ambigedad
6. Robert Toombs tiene gama de haber dicho, justo antes de la Guerra Civil: Podramos derrotar a esos Yanquis con tallos
de Maz. Cuando despus de la guerra se le pregunt qu haba salido mal, tiene fama de haber dicho: Es muy simple.
Esos malditos yanquis se negaron a pelear con tallos de Maz.
- E. J. Kahn, Jr. Profiles (Georgia), The New Yorker, 13 de febrero de 1978.
2

8. Fallaci le escribi: Eres una periodista mala porque eres una mujer mala
- Elizabeth Peer, The Fallaci Papers, Newsweek, 1 de diciembre de 1980.

BLOQUE IV: EVALA ARGUMENTOS DE LA LGICA FORMAL

Cuadro de oposicin

IV. Clasifica las siguientes proposiciones

Enunciados
1
2
3
4
5
6
7
8
9
10

Cualidad

Cantidad

Propiedad
fundamental

Tipo

Algunas liebres corren velozmente

Toda materia ocupa un lugar en el espacio
La luna es un satlite artificial
Los imanes tienen dos polos
Ningn elefante tiene mala memoria
Algn ser humano no es mayor de edad
Einstein elabor la Teora de la Relatividad
Todos los franceses son europeos
Algn pintor no es famoso
Nada picoso es bueno para el ser humano
Inferencias inmediatas

V. Completa los siguientes cuadros de oposicin realizando las inferencias necesarias.

Silogismo y evaluacin por diagramas de Venn

3

Simbolizacin de las proposiciones

VI. Demuestra la validez de los siguientes silogismos por el mtodo de Diagramas de Venn. Copi, I. & Cohen. (2011,
p. 309-310)
2. Algunos metales son sustancias raras y costosas, pero ningn material del soldador es no metal; por lo tanto, algunos
materiales de los soldadores son sustancias raras y costosas.
4. Algunas personas que no beben son atletas, porque las personas que no beben son personas en perfecta condicin fsica
y algunas personas en perfecta condicin fsica no son no atletas.
6. Todos los bienes materiales son cosas cambiantes, pues ningn bien material es una cosa inmaterial y ninguna cosa
material es una cosa no cambiante.
8. Todos los mortales son seres imperfectos y ningn humano es inmortal, de donde se sigue que todos los seres perfectos
son no humanos.
10. Todas las cosas tiles son objetos de no ms de 1.80 metros de largo, puesto que todas las cosas difciles de guardar
son cosas intiles y ningn objeto de ms de 1.80 metros de largo es una cosas fcil de guardar.
Simbolizacin del lenguaje natural
Ejemplos de frmulas
bien formadas

Ejemplos de frmulas
con errores

PQ

P
P

A B

Conectivo lgico

Smbolo

Negacin

Trmino de enlace en el
lenguaje natural
No, no ocurre, ni

Condicional

Si entonces

(P Q)

PQ

Conjuncin

Y, pero, A la vez, aunque

(P Q) R

PQR

Disyuncin

PQR

Bicondicional o
equivalencia

Si solo si

Negacin
Se utiliza para expresar la negacin de un enunciado (simple o compuesto). Ej. Juan no fue al cine, Que Juan fuera al
cine, no es cierto. No es cierto que la belleza no sea relativa B B
VII. Simboliza los siguientes enunciados.
1. No es cierto que no trajimos la tarea
Condicional
1. Si llego a tiempo a la clase de matemticas entonces comprendo ms.
4

2. Si veo la tele hasta la madrugada, no me levanto temprano

3. Si respondo cada ejercicio entonces tendr menos dudas.
4. Me enfermar si no como frutas y verduras.
Conjuncin
5. Luis vino a la escuela y Jos no hizo la tarea
6. No ocurre que todos los de jvenes de 18 aos asistan a la escuela y estudien mucho.
7. El Sol no gira alrededor de la Tierra y la luna no es de queso.
8. No es de noche y la cena no est lista.
9. A la vez, los jvenes fuman y beben en los antros.
10. No fui al cine pero com palomitas
11. Ni vi la pelcula ni com palomitas
12. Fui al cine aunque no com palomitas
Disyuncin
10. la tarea est completa o no puse atencin en la clase.
11. Vamos al concierto este fin de semana o jugamos un partido.
12. no es jueves o no tenemos clase.
13. Una de dos: o viajamos en tren o nos vamos en avin.
Los signos de agrupacin permiten sealar el conectivo principal de un enunciado. Se reconoce porque est en la parte
ms externa respecto a los signos de agrupacin. Los signos de agrupacin son: ( ), [ ], < >, { }. Ejemplo:
Disyuncin: (P Q) R

Bicondicional: P (Q R)

Negacion: (P Q)

VIII. Coloca parntesis para dejar como conectivo principal lo que se pide en cada caso.
1. Condicional

PQR

6. Bicondicional

PQR

2. Negacin

PQR

7. Conjuncin

PQR

3. Conjuncin

PQR

8. Negacin

PQR

4. Disyuncin

PQR

9. Disyuncin

PQ R

5. Condicional

PQR

10. Bicondicional

PQR

IX. Simboliza los siguientes enunciados.

11. Si Julio va a trabajar y paga todas sus deudas, entonces disfrutar el fin de semana.
12. O Julio va a trabajar y paga todas sus deudas o disfrutar el fin de semana.
13. No ocurre que Si Julio va a trabajar y paga todas sus deudas, entonces disfrutar el fin de semana.
14. Si Julio va a trabajar o paga todas sus deudas, entonces disfrutar el fin de semana.
15. Si Julio va a trabajar, entonces paga todas sus deudas y disfruta el fin de semana.
16. Si escoges tus deseos y tus miedos, no existir para ti ningn tirano. (Epicteto)
17. Ojos que no ven, corazn que no siente
18. Quien tiene un porqu para vivir puede soportar cualquier cmo. (Nietzsche)
5

19. Pienso, luego existo. (Descartes)

Tablas de verdad

p
V
V
F
F

F
V
F
V

q p

V
F
V
V

V V V F V
V F V F F
F V F F V
F F F F F

p q p q

q p q

q p

V
V
F
F

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

V
F
F
V

V
F
V
F

V
F
V
F

V
V
F
F

V
V
V
F

V
F
V
F

V
V
F
F

V
F
V
V

V
F
V
F

V
V
F
F

X. Utiliza tablas de verdad para determinar la validez o invalidez de los siguientes argumentos. Copi, I. & Cohen.
(2011, p. 406)
1. (A B) (A B)

2. (C D) (C

3. E F

4. (G H) (G H)

5. (I J) (I J)

AB

D)

FE

(G H)

(I J)

AB

CD

EF

(G H)

(I J)

CD
Prueba de invalidez
XI. Demuestra la invalidez de los siguientes argumentos por el mtodo de asignacin de valores. Copi, I. & Cohen.
(2011, pp. 477 - 478).
1.

2.

3.

4.

6.

AB

(E F)

IJ

M (N O)

A (B C)

CD

( E F) (G H)

( K L)

N (P Q)

B (C A)

A D / B C

H G / G

( I L) / J K

QR

C (A B)

(R P) / M

A / B C

Silogismo Hipottico
(SH)
pq

Silogismo Disyuntivo
(SD)
pq

Absorcin (Abs)
pq

qr

pr

Prueba formal de validez.

Reglas de inferencia
Modus Ponens (MP)
pq
p
q

Modus Tollens (MT)

pq

Conjuncin (Conj.)
p
q
pq

Adicin (Ad.)

Dilema constructivo (D.C)

(p q) (r s)

Dilema Destructivo (D.D)

(p q) (r s)

P
p q

pr

q s

qs

p r

q
p

p (p q)

XII. Justifica las siguientes conclusiones utilizando reglas de inferencia. Copi, I. & Cohen. (2011, p. 431)
1.

2.

3.

(AB) C

(D E) (F G)

HI

(AB) [(AB) C]
4.

DE
5.

( H I) (H I)
6.

(J K) (L M)

[N (O P)] [Q (OR)]

(X Y) (Z A)

(J K)

NQ

(Z A)

(O P) (O R)

(X Y)

XIII. Justifica cada rengln utilizando reglas de inferencia.

1.

2.

3.

1. A B

1. (E F) (G H)

1. I J

2. (A C) D / A D

2. (E G) (F H)

2. J K

3. A

3. G

3. L M

4. A C

4. E F

4. I L / K M

5. D

5. G H

5. I K

6. A D

6. H

6. (I K) (L M)

/ H

7. K M

XIII. Construye la prueba formal para demostrar la conclusin de cada argumento. Copi, I. & Cohen. (2011, p. 437)
3.
G

JK

MN

H / (G H) I

J / K L

MO

PQ
/ N

/ P R

Reglas de reemplazo
De Morgan (De M.)
(p q) (p q)

Implicacin material (Impl.)

(p q) (pq)

Transposicin (Transp.)
(p q) (q p)

(pq) (p q)
Conmutacin (Conm.)
(p q) (q p)

Asociacin (Asoc.)
[(p (q r)] [(p q) r]
[(p (q r)] [(p q) r]

Distribucin (Distr.)
[(p (q r)] [(p q) (p r)]

Tautologa (Taut.)
(p p) p
7

(p q) (q p)
Doble negacin (D. N)
(D.N.)
pp

[(p (q r)] [(p q) (p r)]

Exportacin (Exp.)
[(p q) r] [p (q r)]

(p p) p

Equivalencia material (Equiv.)

(p q) [(p q) (q p)
(p q) [(p q) (p q)]

XIV. Justifica los renglones de las siguientes pruebas formales. Copi, I. & Cohen. (2011, p. 460)
1.

2.
1. A B
7. C B / A C
8. B C
9. B C
10. A C

3.

1.
2.
3.
4.
5.

(D E) F
(D F) G / E G
(E D) F
E (D F)
EG

1.
2.
3.
4.
5.
6.
7.

(M N) (O P)
O / M
OP
(O P)
(M N)
M N
M

4.
1.
2.
3.
4.
5.
6.
7.

(H I) [J (K L)]
I
/ J K
IH
HI
J (K L)
(J K) L
J K

Lgica cuantificacional
XV. Simboliza los siguientes enunciados. Copi, I. & Cohen. (2011, p. 509)
2. Los gorriones no son mamferos. (Gx: x es un gorrin; Mx: x es un mamfero).
3. Los reporteros estn presentes. (Rx: x es un reportero; Px: x est presente).
4. Las enfermeras siempre son consideradas. (Ex: x es enfermera; Cx: x es considerada).
5. Lo diplomticos no siempre son ricos. (Dx: x es diplomtico; Rx: x es rico)
6. Nadar es ser un pingino. (Nx: x nada; Px: x es un pingino).
7. Ningn nio explorador hace trampa (Nx: x es nio explorador; Tx: x hace trampa).
Bibliografa bsica: Copi, Irving M. & Cohen. (2011) Introduccin a la lgica. Mxico: Limusa