Imatge del logotip de l'element per a Peanoware

Peanoware

Element multimèdia 2 (captura de pantalla) per a Peanoware
Miniatura de vídeo de l'element
Element multimèdia 2 (captura de pantalla) per a Peanoware
Miniatura de vídeo de l'element
Miniatura de vídeo de l'element
Element multimèdia 2 (captura de pantalla) per a Peanoware

Visió 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 5No hi ha puntuacions

Obtén més informació sobre els resultats i les ressenyes.

Detalls

  • Versió
    1.4
  • Actualitzat
    10 d’abril del 2015
  • Mida
    1.1MiB
  • Idiomes
    54 idiomes
  • No comerciant
    Aquest desenvolupador no s'ha identificat com a comerciant. Els consumidors de la Unió Europea han de saber que els drets dels consumidors no s'aplicaran als contractes que concertin amb aquest desenvolupador.

Privadesa

Gestiona les extensions i obtén informació sobre com s'utilitzen a la teva organització
El desenvolupador no ha proporcionat cap informació sobre la recollida o l'ús de les teves dades.
Aplicacions de Google