d. Práctica de la deducción con la Simplificación

Teclea en los recuadros correspondientes las deducciones adecuadas a la justificación que hay a su derecha en rojo. Recuerda que la regla de Simplificación responde a este esquema argumental:

  • A∧B
  •    A    

Simp1

y también:

  • A∧B
  •    B    

Simp2

Recuerda que la regla de Simplificación nos permite escribir en una nueva línea cualquiera de los dos miembros de una conjunción. Abreviaremos cualquiera de las dos versiones de la Simplificación con la expresión Simp.

  1. p∧q  
 
  2. p→(r∧s) ⊢s
 
 

3. Simp 1

4. MP 2,3

5. MP 2,3

 
 
 

En el siguiente ejercicio de esta serie deberás introducirtanto 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 Simp 4

  1. p→q  
 
  2. q→(r∧s)  
 
  3. p∧r ⊢s
 
 

4.

4. Simp 3

5.

5. MP 1,4

6.

6. MP 2,5

7.

7. Simp 6

 
 
 

Antes de pasar a la página siguiente, donde explicamos y practicamos el Producto, es conveniente que visites la sección de Actividades para practicar deducciones en las que interviene la Simplificación.

Actividad relacionada: