Actualizado el 28 de Febrero del 2018 (Publicado el 6 de Agosto del 2017)
663 visualizaciones desde el 6 de Agosto del 2017
183,5 KB
29 paginas
Creado hace 11a (12/02/2014)
LMF Tema 8: Deducción natural en lógica de primer orden
Lógica matemática y fundamentos (2013–14)
Tema 8: Deducción natural en lógica de primer orden
José A. Alonso Jiménez
María J. Hidalgo Doblado
Grupo de Lógica Computacional
Departamento de Ciencias de la Computación e I.A.
Universidad de Sevilla
1 / 29
LMF Tema 8: Deducción natural en lógica de primer orden
Tema 8: Deducción natural en lógica de primer orden
1. Sustituciones
2. Reglas de deducción natural de cuantificadores
3. Re...
Crear cuenta
11 visualizaciones durante los últimos 90 días