Estadísticas del PDF: Tema 4: Formalización en Prolog de la lógica proposicional

Programación lógica

Curso 2002–03

Tema 4: Formalización en

Prolog de la lógica proposicional

José A. Alonso Jiménez

[email protected]
http://www.cs.us.es/∼jalonso

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

Universidad de Sevilla

PL 2002–03

CcIa

Formalización en Prolog de la lógica proposicional

4.1

Sintaxis de la lógica proposicional
x Alfabeto proposicional:
u símbolos proposicionales.
u conectivas lógicas: ¬ (negación), ∧ (conjunción), ∨ (disyunción), ...