El profesor ha llegado a clase y ha mandado tarea para el fin de semana, ya que mañana no tendremos clase. Consiste únicamente en leer la pagina 226: origen y legitimidad. Nos recuerda que el último examen de lógica será el lunes y que la recuperación del segundo trimestre será el 30 de abril, e insiste en que el examen del lunes es una buena oportunidad para recuparar la segunda evaluación y evitar ir a la recuperación. Tras este breve inciso del profesor, comenzamos a repasar ejercicios de lógica. Uno de ellos lo comenzamos en la clase anterior pero nos fue imposible resolverlo, y hoy el nos ha ayudado a realizarlo:
Posteriormente una compañera a efectuado otro ejercicio en la pizarra, bastante más sencillo:
1.(¬r v t)-> q -q
2.¬p
3.r->p
4.¬r RMT 2,3
5.¬r v ¬t RI v 4
6.q RE ->1,5.
Para finalizar la clase otro compañero realiza un ejercicio en el que hay que hallar una disyuncion y utilizó la regla de eliminacion del disyuntor:
1.r->p -(r v s)
2.¬q->¬r
3.s->q
4.(p^q)->t
5.¬s v p
-6.r v s
*7.r
8.p RE->1,7
9.q RMT 2,7
10. p^q RI ^8,9
*11.t RE-> 4,10
*12. s
13. q RE -<3,12
14.p RSD 5,12
15.p^q RI ^13,14
*16.t RE->4,15
-17.t REV 7-11, 12-16
18. (r v s) ->t RI -> 6-17
No hay comentarios:
Publicar un comentario