Estadísticas del PDF: Lógica computacional

Dpto. de Álgebra, Computación, Geometría y Topología

Universidad de Sevilla

Lógica computacional

José A. Alonso Jiménez

([email protected])

Sevilla, 12 de Diciembre de 1991

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ór...