Acciones
Razonamiento automático
De Razonamiento automático (2010-11)
Ejercicios de "Razonamiento automático"
Ejemplos
Relaciones de ejercicios
Ejercicios de deducción natural
- Relación 1: Deducción natural en lógica proposicional. (Enunciado).
- Relación 2: Deducción natural en lógica de primer orden. (Enunciado).
Razonamiento por inducción sobre listas
- Relación 3: Cons inverso y cuantificadores sobre listas. (Enunciado).
- Relación 4: Sustitución, inversión y eliminación. (Enunciado).
- Relación 5: Menor posición válida. (Enunciado).
- Relación 6: Número de elementos válidos. (Enunciado).
- Relación 7: Contador de occurrencias. (Enunciado).
- Relación 8: Suma y aplanamiento de listas. (Enunciado).
Ejercicios complementarios
- Relación 9: Deducción natural en lógica proposicional. (Enunciado).
- Relación 10: Deducción natural en lógica de primer orden. (Enunciado).
- Relación 11: Razonamiento sobre programas. (Enunciado).