Ejercicio 5

Ejercicio 5

de Agustín Romano Muzante -
Número de respuestas: 2

Buen día! En este ejercicio tenemos que buscar errores, y me surge la duda en lo siguiente:

Tengo como hipótesis a (p2 or p3), ¿a través de una eliminación del or puedo concluir p2 sin ninguna otra hip más que la que mencioné?

Gracias!

En respuesta a Agustín Romano Muzante

Re: Ejercicio 5

de Camila Sanz -
Hola Agustín,

no, la eliminación del or lo que dice es lo siguiente:

Esto quiere decir que si vos tenés p_2 \lor p_3 como hipótesis y querés concluir p_2 tenés que poder construir una prueba de p_2 a partir de p_2 y otra prueba de p_2 a partir de p_3

Saludos!