Jesús Diaz Castro
Buenas
Como muestro en la imagen, tengo un pequeño problema con este ejercicio de deduccion natural.
Hasta ahora he logrado obtener ~s y ~q (individualmente) a traves de la introduccion de la negacion de los supuestos s y q, trabajando con la introduccion de la disyuncion para obtener asi el negado del primer supuesto ~(s+(p->q)).
En resumen necesito 'p' para resolverlo, pero no logro obtenerla.
Gracias
Se trata de que después de ir a clase o ver los vídeos relacionados, enviéis dudas concretas, lo más posible. Y que nos enviéis siempre también todo aquello que hayáis conseguido hacer por vosotros mismos.
Paso a paso, esté bien o mal. No sólo el enunciado. De esta manera podremos saber vuestro nivel, en qué podemos ayudaros o cuáles son vuestros fallos.
Vemos en tu perfil que todavía no has visto ningún vídeo en nuestra plataforma. Utiliza el buscador o navega por las categorías para encontrar el material que te puede ayudar.