Peanoware
รูปภาพโลโก้สินค้าสำหรับ Peanoware

Peanoware

2 ผู้ใช้
ภาพหน้าจอของสื่อ 2
ภาพปกวิดีโอของรายการ
ภาพหน้าจอของสื่อ 2
ภาพปกวิดีโอของรายการ
ภาพปกวิดีโอของรายการ
ภาพหน้าจอของสื่อ 2

ภาพรวม

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 จาก 5 คะแนนไม่มีคะแนน

Google ไม่ได้ตรวจสอบรีวิว ดูข้อมูลเพิ่มเติมเกี่ยวกับผลการค้นหาและรีวิว

รายละเอียด

  • รุ่น
    1.4
  • อัปเดตแล้ว
    10 เมษายน 2558
  • ขนาด
    1.1MiB
  • ภาษา
    54 ภาษา
  • ไม่ใช่ผู้ค้า
    นักพัฒนาซอฟต์แวร์รายนี้ไม่ได้ระบุว่าตัวเองเป็นผู้ค้า สำหรับผู้บริโภคในสหภาพยุโรป โปรดทราบว่าสิทธิของผู้บริโภคไม่มีผลกับสัญญาระหว่างคุณกับนักพัฒนาซอฟต์แวร์รายนี้

ความเป็นส่วนตัว

นักพัฒนาซอฟต์แวร์ไม่ได้ให้ข้อมูลเกี่ยวกับการเก็บรวบรวมหรือการใช้ข้อมูลของคุณ
แอป Google