Se trabajaron los siguientes conceptos en una aproximación intuitiva: (1) el concepto de lógica como el estudio de la validez formal de los argumentos; (2) el concepto de consecuencia lógica como transmisión necesaria de la verdad de premisas a conclusión; (3) el concepto de constante lógica, como el conjunto de expresiones cuya substitución afecta la validez de un argumento, y no lógica, como el conjunto de expresiones cuya substitución no afecta la validez de un argumento; (4) el concepto de forma lógica como el esquema de argumento que obtenemos cuando nos abstraemos del contenido específico de los enunciados para concentrarnos en la estructura inferencial del argumento.
Además comenzamos a trabajar con Teoría Intuitiva de Conjuntos; presentamos el Axioma de Extensión, las dos formas de definir un conjunto (por extensión y comprensión), y la relación de pertenencia conjuntística.
Quedan disponibles para bajar los materiales junto con ejercicios.
No hay comentarios:
Publicar un comentario