tema 1: lógica proposicional. proposiciones. cuantificadores. métodos de demostración. aplicación en otros campos del conocimiento. evolución histórica.

Os amplío una vez más los apuntes de los nuevos temas con algunos documentos interesantes. En este caso se trata de la lógica difusa o lógica borrosa, y del principio de inducción matemática como uno de los métodos de demostración que merecen especial atención.(Este tema era el 70, y ahora pasa a ser el 1, con un título mucho más preciso).