การหักในทางตรรกะการพิสูจน์อย่างเข้มงวดหรือการได้มาของหนึ่งคำสั่ง (ข้อสรุป) จากหนึ่งคำสั่งหรือมากกว่านั้น (สถานที่) - นั่นคือห่วงโซ่ของข้อความซึ่งแต่ละคำสั่งเป็นหลักฐานหรือเป็นผลมาจากคำสั่งที่เกิดขึ้น ก่อนหน้านี้ในการพิสูจน์ การใช้นี้เป็นลักษณะทั่วไปของสิ่งที่นักปรัชญาชาวกรีก Aristotle เรียกว่า syllogism แต่ปัจจุบัน syllogism ได้รับการยอมรับว่าเป็นเพียงกรณีพิเศษของการหัก นอกจากนี้มุมมองแบบเดิม ๆ ที่ว่าการหักเงินจะดำเนินต่อไป“ จากทั่วไปไปสู่สิ่งที่เฉพาะเจาะจง” หรือ“ จากสากลไปสู่สิ่งเฉพาะ” ถูกละทิ้งไปเนื่องจากนักตรรกะส่วนใหญ่ไม่ถูกต้อง ผู้เชี่ยวชาญบางคนถือว่าการอนุมานที่ถูกต้องทั้งหมดเป็นรูปแบบนิรนัยและด้วยเหตุนี้และเหตุผลอื่น ๆ จึงปฏิเสธความแตกต่างระหว่างการหักและการเหนี่ยวนำดูสิ่งนี้ด้วยวิธีสัจพจน์ ระบบทางการ การอนุมาน
อ่านเพิ่มเติมเกี่ยวกับหัวข้อนี้ความคิด: การให้เหตุผลเชิงนิรนัยแบบนิรนัยเกี่ยวข้องกับการวิเคราะห์รูปแบบการโต้แย้งที่ถูกต้องและการสรุปผลโดยนัยในสถานที่ของพวกเขา .... บทความนี้ได้รับการแก้ไขและปรับปรุงล่าสุดโดย Brian Duignan บรรณาธิการอาวุโส
