Diferencia entre revisiones de «Tema 9: Editores lógicos»
De Razonamiento automático (2018-19)
(→Deducción natural con Pandora) |
(→Deducción natural con Pandora) |
||
Línea 6: | Línea 6: | ||
* Ejemplos con Pandora | * Ejemplos con Pandora | ||
− | ** [http://bit.ly/1tqZIOe ejemplo 1] | + | ** [http://bit.ly/1tqZIOe ejemplo 1]: |
+ | *** p ∧ q → r ⊢ p → (q → r) | ||
+ | *** p ∨ q ⊢ q ∨ p | ||
** [http://bit.ly/1nWAVp4 ejemplo 2]. | ** [http://bit.ly/1nWAVp4 ejemplo 2]. | ||
Revisión del 12:27 24 ene 2019
Sumario
1 Deducción natural con Pandora
- Pandora se encuentra aquí (o en su copia local)
- Un libro que usa Pandora es Reasoned programming por K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers.
2 Deducción natural con Conan
3 Cálculo de secuentes con Logitext
- Logitext se encuentra aquí aquí.
4 Cálculo de secuentes con Sequent Calculus Trainer
- Sequent Calculus Trainer se encuentra aquí.