Peanoware
Descripción general
Play with this app and build some proofs in natural deduction style. Clicking on a formula automatically expands it with possible…
Play with this app and build some proofs in natural deduction style. Clicking on a formula automatically expands it with possible rules. Assumptions are printed in blue. Selected one of them generates a new subtree. Attaching two trees is done by dragging the root of the first one to the leaf of the second one. If there only one possibility, this attachment is performed automatically. The proof is done when the tree is surrounded by a red rectangle. Have fun! Logic is fun
Detalles
- Versión1.4
- Fecha de actualización10 de abril de 2015
- Tamaño1.1MiB
- Idiomas54 idiomas
- No comercianteEl desarrollador no se identificó como comerciante. Si eres un consumidor de la Unión Europea, ten en cuenta que los derechos de los consumidores no aplican a los contratos entre el desarrollador y tú.
Privacidad
Administra las extensiones y descubre cómo se usan en tu organización
El desarrollador no proporcionó información sobre la recopilación ni el uso de tus datos.