Práctica de la deducción con el Modus Ponens
Teclea en los recuadros correspondientes las deducciones adecuadas a la justificación que hay a su derecha en rojo.
Notas:
- Utiliza el símbolo ">" [mayor que] o la conjunción "y" para representar el implicador "→" así, tanto p>q como pyq se convertirán en p→q
- El símbolo "¬" se consigue: en ordenadores PC pulsando la tecla Alt+Control+6, o bien AltGr+6 y en ordenadores Macintosh pulsando la tecla Alt, y, manteniéndola pulsada, el 6. También con el signo "-" o con la letra "n".
- Después de una respuesta errónea, se recomienda pulsar el botón "Borrar" (aunque esto no es imprescindible)
- Es indiferente usar mayúsculas y/o minúsculas.
| 1. | p→q | ||
| 2. | q→r | ||
| 3. | p | ⊢r | |
|
4.
MP 1,3
5.
MP 2,4
|
|||
| 1. | (p∧q)→r | ||
| 2. | r→(s∨t) | ||
| 3. | p∧q | ⊢s∨t | |
|
4.
MP 1,3
5.
MP 2,4
|
|||
| 1. | (p∧q)→r | ||
| 2. | p∧q | ||
| 3. | r→s | ⊢s | |
|
4.
MP 1,2
5.
MP 3,4
|
|||
En el último 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 5 de la deducción anterior se escribiría: s MP 3,4
| 1. | p→r | ||
| 2. | p | ||
| 3. | r→q | ||
| 4. | q→s | ⊢s | |
|
5.
5.
MP 1,2
6.
6.
MP 3,5
7.
7.
MP 4,6
|
|||
En la página siguiente se continúa con la introducción del Teorema de Deducción.