Razonamiento automático
De Razonamiento automático (2010-11)
Revisión del 22:21 2 feb 2011 de Jalonso (discusión | contribuciones) (→Razonamiento automático (2010-11))
Razonamiento automático (2010-11)
Ejemplos
Relaciones de ejercicios
- Relación 1a: ejemplos de deducción natural en lógica proposicional.
- Relación 1: lógica proposicional.
- Relación 2: lógica de primer orden.
- Relación 3: Inducción sobre listas.