En la clase de hoy el profesor nos ha estado sacando a la pizarra para corregir los resultados de los ejercicios del examen de lógica que hicimos el jueves pasado.
Primero hemos corregido la tabla de verdad, que ha tenido como resultado un enunciado tautológico.
Después hemos corregido el segundo ejercicio, que consistía en formalizar el sentido de las preposiciones que nos daba y deducir la conclusión. Éste es el resultado del primer apartado:
2a)
p ->q ¬ r ->s (q^s)˫ p^ ¬r ->t
.............................................
1.p->q2¬r->s3.(q^s)┌4.p^¬r
5.p RE^(4)
6.¬r RE^ (4)
7.q RE ->(1,5)
8.s RE->(2,6)
9.q^s RI ^ (7,8)
└10.t RE->(3,9)
___________________
11.(p^¬r)->t RI ->(4,10)
2b)
1. ¬p ˅q2.¬(r^¬p)3.r-> ¬q4.¬r->s┌5.¬q6.r->p RDF -> (2)7.p-> RDF ˅18.¬p MT (5,7)9.¬r MT (6,8)└10.s RE-> (4,9)___________________11.¬q->s RI -> (5-10)
No nos dio tiempo a acabar el ejercicio tres del examen, pero el profesor dijo que el próximo día seguiríamos con las correcciones y entregaría los exámenes.Personalmente, creo que los resultados habrán sido regulares, por que mucha gente, donde me incluyo la primera, no va muy bien en el tema de lógica. Así que desde aquí querría pedirle al profesor que hiciera una recuperación para que este examen no fuera motivo de suspender toda la evaluación.El próximo día, osea el día 20 de febrero, empezaremos también el siguiente tema.Hemos fijado la fecha del próximo examen para el jueves 14 de marzo.
María González 1ºA bachillerato
No hay comentarios:
Publicar un comentario