1. Tipos de aplicaciones lógicas
2. Cómo se utilizan las aplicaciones de lógica para realizar los ejercicios
3. Lógica de enunciados
1. Formalización de enunciados 2. Formalización de enunciados y tablas de verdad 3. Resolución de argumentos 4. Formalización y derivación 5. derivación con reglas simples y derivadas. 6. Tablas semánticas o árboles lógicos
1. Formalización de enunciados
2. Formalización de enunciados y tablas de verdad
3. Resolución de argumentos
4. Formalización y derivación
5. derivación con reglas simples y derivadas.
6. Tablas semánticas o árboles lógicos