Práctica de la deducción con la Doble Negación

Recuerda que la regla de Doble Negación responde a este esquema argumental:

¬¬A
A

DN

Recuerda que la regla de la Doble Negación nos permite, partir de un enunciado negado doblemente: ¬¬A, escribir en una nueva línea que contenga el enunciado A sin negación alguna, o bien viceversa, como indica la doble línea horizontal. Abreviaremos la regla de la Doble Negación con las iniciales DN. Teclea en los recuadros correspondientes las deducciones adecuadas a la justificación que hay a su derecha en rojo.

1. ¬¬pq p    
  2. Simp 1
  3. DN 2
En el siguiente ejercicio de esta serie deberás introducir tanto la deducción como la justificación: deja un espacio entre uno y otra. En la justificación sólo se admite un espacio entre la abreviatura de la regla de inferencia y los números de las líneas involucradas separadas por una coma. Por ejemplo, la respuesta a la línea 3 de la deducción anterior se escribiría: p DN 2
1. (¬¬rs)p    
2. r p  
  3.
  4.
  5.
Antes de pasar a la siguente página, donde se muestra la Reducción al Absurdo, conviene que practiques con deducciones donde intervenga la Doble Negación en la sección de Actividades.

Página siguiente