1. Lógica simbólica
Conceptuales
- 1.1 Operadores lógicos
- 1.2 Letras proposicionales
- 1.3 Conectivos lógicos
- 1.4 Expresiones y funciones lingüísticas de las lógicas
- 1.5 Las Tablas de verdad
- 1.6 Demostraciones formales de validez
Procedimentales
- Análisis de la Lógica Simbólica.
- Confección de traducciones simples y complejas. ● Construcción de Tablas de Verdad para verificar si las proposiciones lógicas son: tautologías, contingencias o contradicciones.
Actitudinales
- Adquisición del instrumental simbólico y conceptual de la Lógica simbólica.
- Disposición para traducir enunciados lingüísticos a operadores de la lógica simbólica.
- Valoración crítica de las funciones lógicas a través de las tablas de verdad.
Indicadores de logro
- Distingue, por medio de diferentes fuentes, los tipos de símbolos y las expresiones lingüísticas, utilizadas en la Lógica simbólica. ● Identifica los operadores lógicos, en expresiones lingüísticas en diferentes textos, para hacer traducciones simples y complejas; de forma correcta y ordenada. ● Analiza la aplicación de la Inteligencia Artificial en el uso de la lógica simbólica, para procesar información, destacando la no sustitución de la capacidad crítica del pensamiento humano. ● Traduce enunciados lingüísticos para verificar si son leyes tautológicas y poder hacer pruebas formales de validez a partir de ellos.