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] para representar el implicador ""; así pq sería 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.
• 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. pq     2. qr       3. p r       4. MP 1,3   5. MP 2,4

---

1. (pq)r     2. r(st)       3. pq st       4. MP 1,3   5. MP 2,4

---

1. (pq)r     2. pq       3. rs 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. pr     2. p       3. rq       4. qs s       5.   6.   7.

En la página siguiente se continúa con la introducción del Teorema de Deducción.

Página siguiente