Logic: Deduction

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

เพลิดเพลินกับแอพ