¨(p ) p <-> -p
------------------------------ E <-> 1
p -p
------------------------------ E ¬
False
puede ser asi ?
En respuesta a Alfonso Dario Medina Carballal
Re: primer parcial 2018 ej3 a
La hipótesis p no ha sido cancelada.
Por la tanto, no es correcta la derivación.
En respuesta a Guillermo Calderon - InCo
Re: primer parcial 2018 ej3 a
Lo hice en Yoda
Como se cancela en la aplicacion?
En respuesta a Alfonso Dario Medina Carballal
Re: primer parcial 2018 ej3 a
Esa es una derivación correcta pero no es lo que pide el ejercicio.
No debés incluir p como premisa.
En respuesta a Guillermo Calderon - InCo
Re: primer parcial 2018 ej3 a
Y como seria ?
No entiendo como aparece p
solo se puede utilizar la hipotesis?
En respuesta a Alfonso Dario Medina Carballal
Re: primer parcial 2018 ej3 a
no seria mas facil poner algunas soluciones para orientar un poco?
gracias Ramiro
No podrias directamente usar p y -p en el primer nivel
La solución de Ramiro es correcta.
En respuesta a Alfonso Dario Medina Carballal
Re: primer parcial 2018 ej3 a
de Jimena Mignaco Kurc -
La respuesta está en el libro, página 32(en la numeracion del libro) o 41 (en la numeracion del pdf)
Saludos!
Una advertencia: En el libro se maneja un lenguaje y reglas algo diferentes de las que presentamos en el curso. Si bien, la estructura de la prueba es la misma, las reglas no se corresponden exactamente con las que usamos en el curso.