Imagen del logotipo del elemento para Peanoware

Peanoware

Elemento multimedia 2 (captura de pantalla) de Peanoware
Miniatura del vídeo del elemento
Elemento multimedia 2 (captura de pantalla) de Peanoware
Miniatura del vídeo del elemento
Miniatura del vídeo del elemento
Elemento multimedia 2 (captura de pantalla) de 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

0 de 5Sin valoraciones

Obtén más información sobre los resultados y las reseñas.

Detalles

  • Versión
    1.4
  • Actualizado
    10 de abril de 2015
  • Tamaño
    1.1MiB
  • Idiomas
    54 idiomas
  • No operador
    Este desarrollador no se ha identificado como operador. Los consumidores residentes en la Unión Europea deben tener en cuenta que los derechos de los consumidores no son aplicables a los contratos que suscriban con este desarrollador.

Privacidad

Gestiona las extensiones y descubre cómo se usan en tu organización
El desarrollador no ha proporcionado ninguna información sobre la recogida o el uso de tus datos.
Aplicaciones de Google