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

Razonamiento Automático

Curso 2002–03

Tema DA-7: Formalización en

Prolog de la lógica proposicional

José A. Alonso Jiménez

Miguel A. Gutiérrez Naranjo

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

Universidad de Sevilla

RA 2002–03

CcIa

Formalización en Prolog de la lógica proposicional DA-7.1

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