Hoy ha sido nuestra primera clase después de las vacaciones y el profesor ha explicado el funcionamiento de los exámenes de recuperación. En primer lugar tendremos el segundo examen de lógica, que estaba previsto hacer en el segundo trimestre, el próximo viernes dia 9 de Abril. Para aquellos que aprobaran la parte de lógica en el trimestre anterior este examen servirá para subir nota para el 3º trimestre; por otro lado a aquellos que suspendieron les sirve para recuperarla. En segundo lugar, el examen de recuperación del 2ºtrimestre se fechó para el dia 30 de Abril.

Tras esto hicimos unos ejercicios de práctica para el examen del viernes:

1.¬p v q / - s --> t

2.¬p --> t

3. s --> ¬q

4. r --> q

[5. s

[6. ¬q RE--> 3,5

[7. p --> q Rdef. v 1

[8. ¬p RModus Tollens 6,7

[9. t RE --> 2,8

10. s --> t RI--> 5-9

1. p --> ¬q /- (p^s)-->t

2.r --> s

3. (¬q^s) -->t

[4. p^r

[5. p RE^ 4

[6.¬q RE--> 1,5

[7. s RE^4

[8. ¬q ^s RI^6,7

[9. t RE-->3,8

10. (p^s)--> t RI--> 4-9

1.¬(¬r --> ¬s) /- p v q

2. t --> (u v w)

3. u --> p

4. w --> q

5. r --> t

6. r^ ¬s Rdef.^ 1

7. r RE^ 6

8. t RE--> 5,7

9. u v w RE--> 2,8

[10. u

[11. p RE--> 3,10

[12. p v q RIv 11

[13. w

[14. q RE--> 4, 13

[15. p v q RIv 14

16. p v q RIv 9, 10-12, 13-15

Alumna: Marina Begara Bueno