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, y, manteniéndola pulsada, los números 1, 2 y 6 (por ese orden en el teclado de la parte derecha) y en ordenadores Macintosh pulsando la tecla Alt, y, manteniéndola pulsada, la ñ.
• Procura no introducir espacios, aunque se toleran entre conectivas y atómicas siempre que no sea al principio o al final de la fórmula.
• 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