Natural Deduction 1.5
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: 1.15 MB
คะแนนจากผู้ใช้: 0.0/5 - 0 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ Natural Deduction
เล่นกับแอพนี้และสร้างหลักฐานบางอย่างในรูปแบบการหักลดตามธรรมชาติ การคลิกที่สูตรจะขยายสูตรโดยอัตโนมัติด้วยกฎที่เป็นไปได้ สมมติฐานจะถูกพิมพ์เป็นสีน้ําเงิน เลือกหนึ่งในนั้นสร้างลําดับชั้นย่อยใหม่ การติดต้นไม้สองต้นจะทําโดยการลากรากของต้นแรกไปยังใบของต้นที่สอง ถ้ามีความเป็นไปได้เพียงรายการเดียว หลักฐานจะทําเมื่อต้นไม้ล้อมรอบด้วยสี่เหลี่ยมผืนผ้าสีแดง
ขอให้สนุก! ตรรกะเป็นเรื่องสนุก