Estadísticas del PDF: Lógica computacional

Lógica computacional

José A. Alonso Jiménez

Febrero de 1997

Depto. de Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

Contenido

1 Preliminares

1.1 Cadenas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Inducción y recursión . . . . . . . . . . . . . . . . . . . . . . .

2 Sintaxis de la lógica proposicional

2.1 El lenguaje de la lógica proposicional
2.2 Libre generación del conjunto de las fórmulas

. . . . . . . . . . . . . .
. . . . . . . . ...