Razonamiento automático
De Razonamiento automático (2010-11)
Razonamiento automático (2010-11)
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.