Imagem do logótipo do item de Peanoware

Peanoware

Multimédia do item 2 (captura de ecrã) para Peanoware
Miniatura de vídeo do item
Multimédia do item 2 (captura de ecrã) para Peanoware
Miniatura de vídeo do item
Miniatura de vídeo do item
Multimédia do item 2 (captura de ecrã) para Peanoware

Vista geral

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 5Sem classificações

Saiba mais sobre os resultados e as críticas.

Detalhes

  • Versão
    1.4
  • Atualizado
    10 de abril de 2015
  • Tamanho
    1.1MiB
  • Idiomas
    54 idiomas
  • Não comerciante
    Este programador não se identificou como comerciante. Para os consumidores na União Europeia, tenha em atenção que os direitos dos consumidores não se aplicam aos contratos entre si e este programador.

Privacidade

Faça a gestão de extensões e saiba como estão a ser usadas na sua organização
O programador não facultou nenhuma informação acerca da recolha ou utilização dos seus dados.
Google Apps