jueves, 8 de junio de 2017

Comenzamos a resolver...✔❌

Hola otra vez!! Aquí estamos tras dos semanas de ausencia, tiempo que os hemos dejado para resolver estos problemas que hemos subido hace unas semanas... Lo conseguisteis?? Bueno no os preocupéis porque ahora mismo sabréis las soluciones a ver qué tal salieron... Allá vamos!
1. 
FORMALIZACIÓN Y DEMOSTRACIÓN:
p: la tormenta continúa
q: anoche
r: nos quedamos a cenar
s: nos quedamos a dormir
t: ir mañana al concierto

 1. (p v q) → (r v s)    Premisa.
 2. (r v s) → t          Premisa.   p  
 3. t                            Premisa.
  –4. p
    5. (p v q) → t       Tr/ SIL 1,2
    6. (p v q)              M.T.  3,5
    7. p ^ q             De Morgan. 2 en 6
    8. p                      E 7
  –9. p ^ p                 I 4,8
   10. p.                     I 4–9
Bueno chicos esta es la solución al primer problema, esperamos que os haya salido!! En estos días seguiremos subiendo el resto de soluciones😉


No hay comentarios:

Publicar un comentario