Acciones

Razonamiento automático

De Razonamiento automático (2010-11)

Revisión del 00:21 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 ([[Enunciado de la Relación 1] Enumciado] y [[Relación 1] Solución colaborativa]).
  • Relación 2: Deducción natural en lógica de primer orden.

Razonamiento por inducción sobre listas