UNIVERSIDAD DE CONCEPCIÓN

DEPARTAMENTO DE FILOSOFÍA
LÓGICA SIMBÓLICA
Deducción Natural: Prueba Indirecta
La prueba indirecta es una técnica similar a la Prueba Condicional y se usa también para derivar la
conclusión de un esquema de argumento. Consiste en asumir la negación del enunciado que se quiere
derivar. Se utiliza este supuesto para derivar una contradicción y concluir que el supuesto original es falso.
Este paso final establece la verdad del enunciado que constituye la conclusión. La siguiente prueba usa la
prueba indirecta para derivar la conclusión:

1. (A v B) (C . D)
2. C  ~D / ~A
3. A (Supuesto Prueba Indirecta)
4. A v B (A en 3)
5. C.D (MP en 1 y 4)
6. C (S en 5)
7. ~D (MP en 2 y 6)
8. D.C (5 Com en 5)
9. D (S en 8)
10. D. ~D (C en 9 y 7)
11. ~A (Prueba Indirecta 3-10)
___________________________________________________
Ejercicios: derive la conclusión por prueba indirecta:
(1) (2) 1. (S v T)  ~S / ~S
1. (K  K)  R
2. (R v M)  N / N

(3) (4)
1. H(LK) 1. (E v F)  (C.D)
2. L(K~L) / ~H v ~L 2. (D v G) H
3. E v G /H

(5)
1. K / S(TS) (6) 1. [C(DC) ] E / E

(7)
1. (N v O )  (C.D)
2. (D v K)  (P v ~C)
3. (P v G)  ~(N.D) / ~N

Formalice y demuestre validez por prueba indirecta:

1. Si Trump insiste en construir un muro en la frontera, tendrá que obligar al gobierno de

México a pagarlo si quiere cumplir su promesa electoral. Pero México no puede ser obligado
a pagarlo y Trump quiere cumplir su promesa. Por tanto, si Trump insiste en construir el
muro tendrá que subir los impuestos para financiarlo.
2. Cuando se dice que los valores, como la libertad y la igualdad, son inconmensurables esto implica
que no hay manera de comparar racionalmente las exigencias de estos valores en ningún caso en que
entren en conflicto. Si esto último es correcto no existirían cambios posibles mediante los cuales una
ganancia tan trivial en igualdad se produciría por un sacrificio tan enorme de libertad, que nadie que
creyera en la libertad podría favorecerlo racionalmente. Pero existen tales cambios. De manera que, o
bien es falso que los valores, como tales, sean inconmensurables, o bien la inconmensurabilidad es
una característica menos desalentadora o, nuevamente, menos profunda, de lo que se había supuesto.
(Adaptado de La fortuna moral, p. 104, de Bernard Williams).