Acciones

Diferencia entre revisiones de «Razonamiento automático»

De Razonamiento automático (2010-11)

(Relaciones de ejercicios)
(Ejercicios de deducción natural)
Línea 8: Línea 8:
  
 
==== Ejercicios de deducción natural ====
 
==== Ejercicios de deducción natural ====
* [[Relación 1]]: Deducción natural en lógica proposicional.
+
* ''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.
 
* [[Relación 2]]: Deducción natural en lógica de primer orden.
  

Revisión del 00:21 15 feb 2011

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