Razonamiento automático
De Razonamiento automático (2010-11)
Revisión del 11:40 1 feb 2011 de Jalonso (discusión | contribuciones) (Protegió «Razonamiento automático (2010-11)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
Razonamiento automático (2010-11)
Relaciones de ejercicios
- Relación 1: lógica proposicional.
- Relación 2: lógica de primer orden.
- Relación 3: Inducción sobre listas.