Estadísticas del PDF: Tema 6: Sintaxis y semántica de la lógica de primer orden

Lógica de primer

orden

Introducción

Sintaxis
Lenguajes de primer
orden
Términos y fórmulas
Sustituciones

Semántica
Estructuras
Interpretación de
términos y fórmulas
Consecuencia lógica y
validez

Tema 6: Sintaxis y semántica de la lógica de

primer orden

Depto. Ciencias de la Computación Inteligencia Artificial

Universidad de Sevilla

Lógica Informática (Tecnologías Informáticas)

Curso 2015–16

Contenido

Introducción

Sintaxis

Lenguajes de primer orden
Términos y fórmulas
Sustituciones
...