Imaginea siglei articolului pentru Peanoware

Peanoware

Elementul media 2 (captură de ecran) pentru Peanoware
Miniatură pentru videoclip a elementului
Elementul media 2 (captură de ecran) pentru Peanoware
Miniatură pentru videoclip a elementului
Miniatură pentru videoclip a elementului
Elementul media 2 (captură de ecran) pentru Peanoware

Prezentare 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 din 5Nicio evaluare

Află mai multe despre rezultate și recenzii.

Detalii

  • Versiune
    1.4
  • Data ultimei actualizări
    10 aprilie 2015
  • Dimensiune
    1.1MiB
  • Limbi
    54 limbi
  • Non-comerciant
    Dezvoltatorul nu s-a identificat drept comerciant. Pentru consumatorii din Uniunea Europeană, reține că este posibil ca drepturile consumatorilor să nu se aplice contractelor încheiate între tine și acest dezvoltator.

Confidențialitate

Gestionează extensiile și află cum sunt folosite în organizația ta
Dezvoltatorul nu a oferit informații despre colectarea sau folosirea datelor tale.
Aplicații Google