En la clase de hoy hemos continuado con cálculo de deducción natural. En la clase anterior dimos las reglas de introducción y eliminación conjuntiva y en esta clase hemos empezado con las reglas de introducción y eliminación condicionales. El profesor nos ha explicado que para resolver estos problemas tienes que abrir una hipótesis y a partir de esa hipótesis llegar a la conclusión. Nos ha dejado claro que a la hora de abrir una hipótesis debemos tener claro como la vamos a cerrar ya que si abrimos una sin pensar como vamos a cerrarla acabaremos con varias hipótesis sin saber cerrarlas y no podremos resolver el problema. El profesor ha usado de ejemplo pedir un crédito en el banco, tienes que pedir el crédito cuando es necesario y además tienes que tener claro como vas a pagarlo después ya que puedes llenarte de deudas. Cuando hemos terminado la explicación junto con un ejemplo en la pizarra, hemos empezado con las reglas de introducción y eliminación disyuntiva. Para esto también es necesario el uso de dos hipótesis. Esta vez a sacado a una compañera, Julia Begara, para resolver un problema en la pizarra.
El profesor también comentó en la clase una reunión que se realizará mañana a la hora del recreo con los alumnos que vamos a ir a la excursión a Burgos para hablar sobre ella.
ARMANDO CARRASCO MÁRQUEZ
No hay comentarios:
Publicar un comentario