Estadísticas del PDF: Tema 14: Formalización en Prolog de la lógica proposicional - Lógica informática (2015–16)

PD Tema 14: Formalización en Prolog de la lógica proposicional

Lógica informática (2015–16)

Tema 14: Formalización en Prolog de la lógica proposicional

José A. Alonso Jiménez
Andrés Cordón Franco
María J. Hidalgo Doblado

Grupo de Lógica Computacional

Departamento de Ciencias de la Computación e I.A.

Universidad de Sevilla

1 / 34

PD Tema 14: Formalización en Prolog de la lógica proposicional

Tema 14: Formalización en Prolog de la lógica
proposicional

1. Sintaxis de la lógica proposicio...