Actualizado el 11 de Abril del 2020 (Publicado el 6 de Agosto del 2017)
574 visualizaciones desde el 6 de Agosto del 2017
183,5 KB
29 paginas
Creado hace 9a (12/09/2015)
PD Tema 8: Deducción natural en lógica de primer orden
Lógica informática (2015–16)
Tema 8: Deducción natural en lógica de primer orden
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 / 29
PD 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
...
Crear cuenta
26 visualizaciones durante los últimos 90 días