Lógica: cálculo de predicados

Conceptos clave de la Logica de predicados y logica de relaciones
Sistema Logico
- Proposicional
- Cuantificacional
- Modal deductivo
- Epistemico deductivo
- Temporal deductivo
- Deontico deductivo
- Otros deductivos: polivalentes, relevantes,
- Otros no-deductivos: abductivos, inductivos
- No-monotonicos

Sistema: Logica de Predicados
- Enunciado: tipos
o Predicado: tipos
o Individuo: tipos
o Cuantificador: tipos
o Funcion Proposicional
Reglas y restricciones:
o Generalizacion U y E
o Instanciacion U y E
Validez semantica y sintactica
o Verdad/falsedad
o Posibilidad/necesidad
o Consecuencia logica
Monotonia
Reflexividad
Corte cauto
Logica de Predicados
Tipos de analisis:
*Por la forma (Reglas)
*Por el contenido (Reglas)
*Por el nivel (primer y segundo orden)

Tipos de Prueba
*Prueba formal de validez

Logica de Relaciones e identidad
Tipos de analisis
*Por la forma: atributos
*Por el contenido: atributos
*Por el nivel (1er y 2do orden)

Tipos de Prueba
*Formal
Otras logicas
Tipos de operadores:
o Trivalentes o mas
o modales
o epistemicos
o temporales
o deonticos

Tipos de consecuencia:
o Relevante
o Intuicionista
o No-monotonicos

- Busqueda de informacion.
- Comprension analitica.
- Conceptualizacion de la logica.
- Manejo de los terminos clave de la logica.
- Manejo de los metodos.