Ayer martes, el profesor comenzó la clase preguntando si teniamos duda sobre los temas 14 y 15 de los cuales tenemos una prueba el jueves 7 de mayo. Después, empezamos el tema 6 " Lógica formal y lógica informal", algo nuevo para nosotros y nos dijo la definición de "lógica": es la ciencia que estudia los principios de las inferencias. Nos enseñó como esquematizar los razonamientos de la siguiente forma: El X es A o B; no es A y por lo tanto es B.
 Nos interesa la estructura del razonamiento no el contenido; no nos interesa si es verdad sino esta bien construido y nos referimos a ellos como válidos y no válidos.
También vimos los dos tipos de razonamiento: deductiva e inductiva; la de ductiva es como el caso anterior y la inductiva es como el siguiente razonamiento: es A o B; es A y por lo tanto no es B y en realidad no tiene porque ser así.

Mario