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😉
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