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. | ¬¬p∧q | ⊢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. | (¬¬r∨s)→p | ||
| 2. | r | ⊢p | |
|
3.
3.
DN 2
4.
4.
Ad 3
5.
5.
MP 1,4
|
|||
Antes de pasar a la siguente página, donde se muestra laReducción al Absurdo, conviene que practiques con deducciones donde intervenga la Doble Negación en la sección de Actividades.