Next:
Representaciónrazonamiento y lógica
Up:
No Title
Previous:
Primera aproximación a nuestro
La lógica: un formalismo para la deducción que produce conclusiones correctas
Representación, razonamiento y lógica
Inferencia formal: modus ponens y resolución
Problemas con las propuestas puramente deductivas de razonamiento humano
Alvaro Barreiro Garcia
Mon May 5 11:27:49 MET DST 1997