Utilizamos cookies propias y de terceros para mejorar la experiencia de navegación, y ofrecer contenidos y publicidad de interés. Al continuar con la navegación entendemos que se acepta nuestra política de cookies.
1.258 visualizaciones desde el 17 de Agosto del 2017
126,2 KB
39 paginas
Creado hace 20a (21/09/2003)
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...
50 visualizaciones durante los últimos 90 días