Razonamiento automático
De Razonamiento automático (2010-11)
Revisión del 07:26 22 feb 2011 de Jalonso (discusión | contribuciones) (→Razonamiento por inducción sobre listas)
Sumario
Razonamiento automático (2010-11)
Ejemplos
- Deducción natural en lógica proposicional con Isabelle/Isar.
- Deducción natural en lógica de primer orden con Isabelle/Isar.
Relaciones de ejercicios
Ejercicios de deducción natural
- Relación 1: Deducción natural en lógica proposicional. (Enunciado y Solución).
- Relación 2: Deducción natural en lógica de primer orden. (Enunciado y Solución).
Razonamiento por inducción sobre listas
- Relación 3: Cons inverso y cuantificadores sobre listas. (Enunciado y Solución).
- Relación 4: Sustitución, inversión y eliminación. (Enunciado y Solución).
- Relación 5: Menor posición válida. (Enunciado y Solución).
- Relación 6: Número de elementos válidos. (Enunciado y Solución).
- Relación 7: Número de elementos válidos. (Enunciado y Solución).