ÍNDICE DE EJERCICIOS
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
|