Estadísticas del PDF: Tema 1: Sintaxis y semántica de la lógica proposicional - Lógica informática (2015–16)

PD Tema 1: Sintaxis y semántica de la lógica proposicional

Lógica informática (2015–16)

Tema 1: Sintaxis y semántica 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 1: Sintaxis y semántica de la lógica proposicional

Tema 1: Sintaxis y semántica de la lógica proposicional

1. Introducción

2. Sintaxis de la lógica proposici...