EJERCICIOS POR REDUCCIÓN AL ABSURDO
Estrategia a seguir en Reducción al absurdo
Cuando en la conclusión nos encontremos con una fórmula negada, podemos utilizar como estrategia de derivación la Reducción al Absurdo (Abs).
El aspecto fundamental de la Reducción al absurdo estriba en la obtención de una contradicción del tipo (A Ù Ø A), lo que nos permite negar el supuesto provisional del que partimos ya que en lógica es inadmisible, por absurdo, mantener la verdad de algo que genera una contradicción. Por lo tanto, podemos garantizar la verdad de su contrario.En definitiva, si demostramos que A genera una contradicción, podríamos afirmar que su contrario (Ø A) es verdadero.
Es tambien importante, fijarse si en las premisas existe una misma fórmula que esté afirmada y tambien negada. Nuestra estrategia podría ir encaminada a unirlas consiguiendo así una contradicción que nos permitiría, por Reducción al Absurdo, negar el supuesto provisional del que hemos partido, y que se supone que es la negación de la conclusión.
EJERCICIOS
PRIMERO:|--- Ø q
- -1 (r ® [(s Ù Ø t)]
- -2 q ® [(s Ù u)] Ù Ø [(r ® [(s Ù Ø t)]
SEGUNDO:|--- Ø p
- -1 p ® (r Ù s)
- -2 s ® t
- -3 t ® (p ® Ø t)
TERCERO:|--- t
CUARTO:|--- Ø t
- -1 s ® (p Ú r)
- -2 t ® s
- -3 Ø (p Ú r)
QUINTO:|--- Ø p
SEXTO:|--- Ø p
- -1 p Ù r
- -2 p ® Ø (q Ù s)
- -3 p ® [(r ® (q Ù s)]
SEPTIMO: |--- Ø p
OCTAVO: |--- Ø (p Ù Ø q)
¿Quieres conocer la Solución?
Mundo Lógica