f. Práctica de la deducción con la Adición
Recuerda que la regla de Adición permite introducir la disyunción y responde al siguiente esquema argumental:
- A
- A∨B
Simp1
y también:
- B
- A∨B
Simp2
La regla de Adición nos permite, partir de un enunciado A, escribir en una nueva línea una disyunción que contenga A como uno de sus dos miembros, siendo el otro miembro cualquier otro enunciado B. Abreviaremos cualquiera de las dos versiones de la Adición con las letras Ad.
Teclea en los recuadros correspondientes las deducciones adecuadas a la justificación que hay a su derecha en rojo.
| 1. | p∧q | ||
| 2. | p→r | ⊢r∨t | |
|
3. Simp 1
4. MP 2,3
5. Ad 4
|
|||
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 nvolucradas separadas por una coma. Por ejemplo, la respuesta a la línea 5 de la deducción anterior se escribiría: rvt Ad 4
| 1. | (p∨q)→s | ||
| 2. | p∧t | ⊢s∨r | |
|
3.
3.
Simp 2
4.
4.
Ad 3
5.
5.
MP 1,4
6.
6.
Ad 5
|
|||
Antes de pasar a las siguiente página, donde se explica la Prueba por Casos, conviene que practiques deducciones donde intervenga la Adición en la sección de Actividades.