Deducción Natural: Ejercicio 36

  • Categoría de la entrada:Lógica
  • Tiempo de lectura:1 minutos de lectura
Etiquetas:

Probar mediante deducción natural: \( \{ (p \to q) \land (p \to r) \} \vdash p \to (q \land r) \)

 

         

Consulta las instrucciones de uso en https://necesitasunhobby.com/instrucciones-de-uso-para-deduccion-natural/

Deja una respuesta