En esta semana se dió por terminado el tema de "Lógica". Se explicó la última parte, correspondiente a las reglas de inferencia (modus ponens, regla del dilema...) y pasamos a aprender a formalizar los enunciados (poniendo en conjunto los símbolos que ya sabíamos -lógicos y auxiliares-) y por último vimos cómo hacer una deducción correcta sobre un enunciado formal empleando las reglas de inferencia ya vistas.
El profesor atendió algunas dudas que había sobre el examen y también repartió los exámenes de recuperación de la 1º evaluación.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario