- Lo que encontrarás en el curso
- Taller
Lo que aprenderás
- Diferenciar si una sentencia es o no una proposición
- Conocer el valor de verdad de proposiciones compuestas
- Utilizar las equivalencias lógicas para probar nuevos enunciados
- Usar los métodos de demostración más usuales
- Usar adecuadamente los cuatificadores y hallar su valor de verdad
- Sentar bases esenciales para enfrentar cursos profesionales relacionados con las matemáticas
- Aproximarse al pensamiento estructural matemático
- Usar adecuadamente las hipótesis para dar conclusiones adecuadas y precisas
Descripción
Un esbozo del contenido del curso es el siguiente:
1. Proposiciones: En este tópico se definirá qué es una proposición, como operan los conectores y los valores de verdad que pueden tomar las proposiciones.
2. Equivalencias lógicas y reglas de inferencia: en este tópico se analizarán las principales equivalencias lógicas y algunas reglas de inferencia que nos permitirán desarrollar deducciones acertadas o correctas. Apoyándonos en lo anterior mostraremos una primera forma de demostrar, la deducción; es decir, a partir de unas hipótesis deducir una consecuencia lógica.
3. Propiedades básicas del cálculo de predicados: En esta sección se analizarán los diferentes tipos de cuantificadores: el existencial, el universal y el existencial único. Se examinará cada uno con cierto detalle; se mostrará como se da la negación de estos y cómo se comportan a la hora de combinar varios de ellos.
Además, analizaremos cómo se mezclan el cálculo proposicional y los cuantificadores, para formar una teoría un poco más general: el cálculo de predicados. Solo se trataran las principales propiedades.
4. Demostraciones: En esta sección se analizarán los métodos más comunes de demostración como lo son la deducción, el contrarrecíproco, reducción al absurdo, la disyunción de casos y la inducción matemática.