Ejercicios de Lógica

David Santiago Bello Montaña

1: Si el primer nativo niega ser un político, entonces el segundo nativo dice la verdad. Si el segundo
nativo dice la verdad, entonces el segundo nativo no es un político. Por lo tanto, si el primer nativo
niega ser un político, entonces el segundo nativo no es político.

Silogismo Hipotético (S.H.)

1. P: Si el primer nativo niega ser un político

2. q: el segundo nativo dice la verdad
3. r: el segundo nativo no es un político

Debido a que “q” es consecuencia de “p” y “r” es consecuente de “q” se puede inferir que “r” es
consecuente de “p”

2: Si el señor Jiménez vive en Chiquinquirá, entonces Jiménez es el maquinista. El señor Jiménez

vive en Chiquinquirá. Por lo tanto, Jiménez es el maquinista.

Modus Ponendo Ponens (m.p.p.)

1. p: el señor Jiménez vive en Chiquinquirá

2. q: Jiménez es el maquinista

El argumento es válido ya que cumple con la forma anterior “al afirmar afirmo”

3: Si el segundo nativo dijo la verdad, entonces el primer nativo negó ser un político. Si el tercer
nativo dijo la verdad, entonces el primer nativo negó ser un político. Por lo tanto, si el segundo
nativo dijo la verdad, entonces el tercer nativo dijo la verdad.

Silogismo Hipotético (S.H.)

1. p: el segundo nativo dijo la verdad

2. q: el primer nativo negó ser un político
3. r: el tercer nativo dijo la verdad

El argumento es inválido debido a que no cumple con la forma lógica del silogismo hipotético

4: Si el señor Jiménez es el vecino del maquinista, entonces 20.000 pesos es exactamente divisible
entre tres. Pero 20.000 pesos no es exactamente divisible entre tres. Por lo tanto, el señor Jiménez
no es el vecino del maquinista.

Modus Tollendo Tollens (m. t. t.)

1. p: el señor Jiménez es el vecino del maquinista

2. q: 20.000 pesos es exactamente divisible entre tres

En el argumento anterior, cuando el consecuente es negado, inmediatamente niega al

antecedente, cumpliendo con la regla “al negar niego”
5: Si el prisionero tuerto no conoce el color del sombrero que lleva puesto, entonces el prisionero
ciego no puede tener un sombrero rojo. El prisionero tuerto no conoce el color del sombrero que
lleva puesto. Por lo tanto, el prisionero ciego no puede tener un sombrero rojo.

Modus Ponendo Ponens (m. p. p.)

1. p: el prisionero tuerto no conoce el color del sombrero que lleva puesto

2. q: el prisionero ciego no puede tener un sombrero rojo

El antecedente al ser confirmado, confirma automáticamente el consecuente, cumpliendo con la

regla

6: El señor Sánchez es el vecino del maquinista o el señor Ruiz es el vecino del maquinista. El señor
Ruiz no es el vecino del maquinista. Por lo tanto, el señor Sánchez es el vecino del maquinista.

Modus Tollendo Ponens (m. t. p.)

1. p: El señor Sánchez es el vecino del maquinista

2. q: el señor Ruiz es el vecino del maquinista

Al ser una disyunción, al negar una, se confirma la otra “negando afirmo”

7: Si los tres prisioneros tienen sombreros blancos, entonces el prisionero tuerto no conoce el
color del sombrero que lleva puesto. El prisionero tuerto no conoce el color del sombrero que
lleva puesto. Por lo tanto, los tres prisioneros llevan sombreros blancos.

Modus Ponendo Ponens (m. p. p.)

1. p: los tres prisioneros tienen sombreros blancos

2. q: el prisionero tuerto no conoce el color del sombrero que lleva puesto

Al afirmarse el antecedente se afirma el consecuente por lo que el argumento cumple con la regla
de inferencia

8: Si el primer nativo es un político, entonces el tercer nativo dice la verdad. Si el tercer nativo dice
la verdad, entonces el tercer nativo no es un político. Por lo tanto, si el primer nativo es un
político, el tercer nativo no es un político.

Silogismo Hipotético (S.H.)

1. p: el primer nativo es un político

2. q: el tercer nativo dice la verdad
3. r: el tercer nativo no es un político

La proposición “p” es condicional de “q” quien a su vez es condicional de “r” por ende “p” es
condicional de “r”
9: Si el señor Jiménez es el vecino del guardafrenos, entonces las ganancias anuales del señor
Jiménez son exactamente divisibles entre tres. Si las ganancias del señor Jiménez son exactamente
divisibles entre tres, entonces 20.000 pesos son exactamente divisibles entre tres. Pero 20.000
pesos no son exactamente divisibles entre tres. Si el señor Ruiz es el vecino del guardafrenos,
entonces vive exactamente a la mitad del camino entre Duitama y Chiquinquirá. Si el señor Ruiz
vive en Duitama, entonces no vive a la mitad del camino entre Duitama y Chiquinquirá. El señor
Ruiz vive en Duitama. Si Jiménez no es el vecino del guardafrenos, entonces Ruiz o Sánchez es el
vecino del guardafrenos. Por lo tanto, el señor Sánchez es el vecino del guardafrenos.

J: El señor Jiménez es el vecino del guardafrenos

E: las ganancias del señor Jiménez son exactamente divisibles entre tres

T: 20.000 pesos son exactamente divisibles entre tres.

R: El señor Ruiz es el vecino del guardafrenos.

H: el señor Ruiz vive a la mitad del camino entre Chiquinquirá y Duitama.

D: El señor Ruiz vive en Duitama.

S: El señor Sánchez es el vecino del guardafrenos.

1. J>E
2. E>T
3. ~T
4. R>H ͰS
5. D > ~H
6. D
7. ~J > ( R V S)____
8. (S.H.) 1 Y 2
9. (m.t.t.) 2 y 3
10. (m.p.p.) 5 y 6

10: Si el señor Sánchez es el vecino del guardafrenos, entonces el señor Sánchez vive a la mitad del
camino entre Duitama y Chiquinquirá. Si el señor Sánchez vive a mitad del camino entre Duitama y
Chiquinquirá, entonces no vive en Chiquinquirá. El señor Sánchez es el vecino del guardafrenos. Si
el señor Ruiz vive en Duitama, entonces no vive en Chiquinquirá. El señor Ruiz vive en Duitama. El
señor Sánchez vive en Chiquinquirá o bien el señor Ruiz o el señor Jiménez viven en Chiquinquirá.
Si el señor Jiménez vive en Chiquinquirá, entonces el guardafrenos es Jiménez. Por lo tanto, el
guardafrenos es Jiménez.

S: el señor Sánchez es el vecino del guardafrenos.

W: El señor Sánchez vive a la mitad del camino entre Duitama y Chiquinquirá.

L: el señor Sánchez vive en Chiquinquirá.

D: El señor Ruiz vive en Duitama.

I: El señor Ruiz vive en Chiquinquirá.

C: El señor Jiménez vive en Chiquinquirá.

B: El guardafrenos es el señor Jiménez

1. S>W
2. W > ~L
3. S
4. D > ~I ͰB
5. D
6. L V ( I V C)
7. C > B____________
8. (S.H.) 1 Y 2
9. (m.p.p.) 1 y 3
10. (m.p.p.) 4 y 5

11: Si Sánchez una vez derrotó al fogonero en el billar, entonces Sánchez no es el fogonero.
Sánchez derrotó una vez al fogonero en el billar. Si el guardafrenos es Jiménez, entonces Jiménez
no es el fogonero. El guardafrenos es Jiménez. Si Sánchez no es el fogonero y Jiménez no es el
fogonero, entonces Ruiz es el fogonero. Si el guardafrenos es Jiménez y Ruiz es el fogonero,
entonces Sánchez es el maquinista. Por lo tanto, Sánchez es el maquinista.

U: Sánchez derrotó una vez al fogonero en el billar.

M: Sánchez es el fogonero.

G: El guardafrenos es Jiménez.

N: Jiménez es el fogonero.

R: Ruiz es el fogonero.

S: Sánchez es el maquinista)

1. U > ~M
2. U
3. G > ~N
4. G ͰS
5. (~M ꓥ ~N) > R
6. (G ꓥ R) > S_______
7. (m.p.p.) 1 y 2
8. (m.p.p.) 3 y 4