Acciones

Razonamiento automático

De Razonamiento automático (2010-11)

Revisión del 00:22 15 feb 2011 de Jalonso (discusión | contribuciones) (Ejercicios de deducción natural)

Razonamiento automático (2010-11)

Ejemplos

Relaciones de ejercicios

Ejercicios de deducción natural

  • Relación 1: Deducción natural en lógica proposicional.
  • Relación 2: Deducción natural en lógica de primer orden.

Razonamiento por inducción sobre listas