Larawan ng logo ng item para sa Peanoware

Peanoware

Media ng item 2 (screenshot) para sa Peanoware
Thumbnail ng video ng item
Media ng item 2 (screenshot) para sa Peanoware
Thumbnail ng video ng item
Thumbnail ng video ng item
Media ng item 2 (screenshot) para sa Peanoware

Pangkalahatang-ideya

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 sa 5Walang rating

Matuto pa tungkol sa mga resulta at review.

Mga Detalye

  • Bersyon
    1.4
  • Na-update
    Abril 10, 2015
  • Laki
    1.1MiB
  • Mga Wika
    54 (na) wika
  • Hindi trader
    Hindi tinukoy ng developer na ito ang sarili bilang trader. Para sa mga consumer sa European Union, pakitandaang hindi naaangkop ang mga karapatan ng consumer sa mga kontrata sa pagitan mo at ng developer na ito.

Privacy

Pamahalaan ang mga extension at alamin kung paano ginagamit ang mga ito sa iyong organisasyon
Hindi nagbigay ang developer ng anumang impormasyon tungkol sa pagkolekta o paggamit ng iyong data.
Mga app ng Google