Se comenzó la clase fijando dos exámenes, uno el 8 de Junio (examen de lógica) y otro el 11 de Junio (como repesca para los que suspendan el examen de lógica).
Luego se corrigió la tabla de verdad del ejercicio de la página 132.
Más tarde, vimos que dependiendo de las de los resultados de la tabla de verdad se podían dar tres casos:
- Tautología: todos los resultados son verdaderos.
- Contradicción: todos los resultados son falsos.
- Contingencia: los resultados son verdaderos y falsos.
Después se explicó lo que es una definición de calculo es un número finito de pasos en los cuales siguiendo unas reglas pasamos de unos enunciados (premisas) a otros en forma de conclusión.
Y por último el profesor recomendó que se hicieran los ejercicios de la página 133 y unos colgados en la página de Helvia.
Alejandro Cuevas Prieto 1 B
No hay comentarios:
Publicar un comentario