Veamos ahora algunos casos más complejos. Se trata de aquellas situaciones en las que hay que introducir más de un supuesto subsidiario para conseguir alcancanzar la conclusión. En estos casos, la norma a seguir afirma que los corchetes de cancelación de los supuestos no deben interferirse:
- Ejemplos de disposición incorrecta de los corchetes de cancelación de los supuestos subsidiarios:
- Ejemplos de disposición correcta de los corchetes de cancelación de los supuestos subsidiarios:
Esta situación de tener que abrir más de un supuesto se origina típicamente cuando hay que alcanzar un enunciado que contenga más de una implicación: el primer supuesto será el antecedente de la primera implicación, el segundo supuesto el antecedente de la segunda implicación, etc.
Teclea en los recuadros las correspondientes deducciones y su justificación.
| 1. | p∧q | |||
| 2. | r→(q→s) | ⊢r→(p→s) | ||
|
3. 4. 5. 5. MP 2,3 6. 6. Simp 1 7. 7. MP 5,6 8. 8. TD 4-7 9. 9. TD 3,8 |
||||
| 1. | p→q | |||
| 2. | q→r | ⊢(q→r)→(p→r) | ||
|
3. 4. 5. 5. MP 1,4 6. 6. MP 2,5 7. 7. TD 4-6 8. 8. TD 3-7 |
||||
