| 1. | p→q | ||
| 2. | q→(r→s) | ||
| 3. | r | ⊢s→(p→s) | |
|
4. SH 1,2
5. Mut 4
6. MP 5,3
7. CPr 6
|
|||
Las cuatro reglas derivadas de implicación que veremos son las siguientes:
Al presentarte el Teorema de deducción utilizamos un ejemplo práctico que puede servir para fundamentar el silogismo hipotético:
| 1. | p→q | ||
| 2. | q→r | ⊢p→r | |
| 3. | p | ||
| 4. | q | MP 1,3 | |
| 5. | r | MP 2,4 | |
| 6. | p→r | TD 3-5 | |
Practiquemos lo expuesto: rellena la siguiente deducción de acuerdo con las justificaciones de cada paso de la deducción.
| 1. | p→q | ||
| 2. | q→(r→s) | ||
| 3. | r | ⊢s→(p→s) | |
|
4. SH 1,2
5. Mut 4
6. MP 5,3
7. CPr 6
|
|||
Sigamos examinando las reglas derivadas de la negación.
