Natural Deduction 1.5

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: 1.15 MB
‎คะแนนจากผู้ใช้: 0.0/5 - ‎0 ‎โหวต

เล่นกับแอพนี้และสร้างหลักฐานบางอย่างในรูปแบบการหักลดตามธรรมชาติ การคลิกที่สูตรจะขยายสูตรโดยอัตโนมัติด้วยกฎที่เป็นไปได้ สมมติฐานจะถูกพิมพ์เป็นสีน้ําเงิน เลือกหนึ่งในนั้นสร้างลําดับชั้นย่อยใหม่ การติดต้นไม้สองต้นจะทําโดยการลากรากของต้นแรกไปยังใบของต้นที่สอง ถ้ามีความเป็นไปได้เพียงรายการเดียว หลักฐานจะทําเมื่อต้นไม้ล้อมรอบด้วยสี่เหลี่ยมผืนผ้าสีแดง

ขอให้สนุก! ตรรกะเป็นเรื่องสนุก

ประวัติรุ่น

  • เวอร์ชัน 1.5 โพสต์เมื่อ 2015-05-07
    การแสดงผลที่ดีขึ้น

รายละเอียดหลักสูตร