Diferencia entre revisiones de «Razonamiento automático»
De Razonamiento automático (2010-11)
m (Protegió «Razonamiento automático (2010-11)» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
(→Relaciones de ejercicios) |
||
| Línea 2: | Línea 2: | ||
=== Relaciones de ejercicios === | === Relaciones de ejercicios === | ||
| + | * [[Relación 1a]]: ejemplos de deducción natural en lógica proposicional. | ||
* [[Relación 1]]: lógica proposicional. | * [[Relación 1]]: lógica proposicional. | ||
* [[Relación 2]]: lógica de primer orden. | * [[Relación 2]]: lógica de primer orden. | ||
* [[Relación 3]]: Inducción sobre listas. | * [[Relación 3]]: Inducción sobre listas. | ||
Revisión del 18:22 2 feb 2011
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.