ระยะหักซึ่งมาจากคำภาษาละติน deductio หมายถึงการกระทำและผลของการอนุมานในทางกลับกันคำกริยานี้หมายถึงการสรุปหรือลดราคาจำนวนหนึ่ง
ตัวอย่างเช่น: "เช้านี้เมื่อฉันตื่นขึ้นมาคุณไม่ได้อยู่บ้านดังนั้นโดยการหักเงินฉันคิดว่าคุณใช้เวลาทั้งคืนหมด แล้ว " "รัฐบาลประจำจังหวัดประกาศว่าจะหักเงิน 2% จากเงินฝากธนาคารทั้งหมดที่ เกิน 10,000 เปโซ " " การซื้อคืนจะช่วยให้หักค่าใช้จ่ายในการเช่าจากภาษีเงินได้ . "
ในระดับของตรรกะการหักเป็นประเภทของการให้เหตุผลซึ่งข้อสรุปจำเป็นต้องอนุมานจากสัจพจน์หรือสถานที่ หลังจากสูตรต่อเนื่องกันแล้วการให้เหตุผลเชิงนิรนัยช่วยให้สามารถสรุปได้โดยใช้กฎการอนุมาน
มาดูกันว่าการหักเงินจากสถานที่ทำงานอย่างไร:
สถานที่ # 1: "สุนัขทุกตัวเป็นสัตว์เลี้ยงลูกด้วยนม"
สถานที่ตั้ง # 2: "บ๊อบบี้เป็นสุนัข"
บทสรุป: "บ๊อบบี้เป็นสัตว์เลี้ยงลูกด้วยนม"
ในขณะที่คุณสามารถดูถ้าทุกสุนัขเป็นสัตว์เลี้ยงลูกด้วยและบ๊อบบี้เป็นสุนัขที่หักตรรกะคือว่าบ๊อบบี้ยังเป็นเลี้ยงลูกด้วยนมตั้งแต่เขาเป็นสุนัข Deducing ในกรอบนี้ประกอบด้วยการสกัดความจริงเฉพาะโดยเริ่มจากหลักการทั่วไป
เป็นที่รู้จักกันในชื่อของทฤษฎีบทการหักในด้านตรรกศาสตร์เชิงประพจน์ตรรกะลำดับที่หนึ่งและระบบที่เป็นทางการอื่น ๆ ซึ่งเป็น metatheorem ที่ใช้บ่อยมากในการพิสูจน์อีกแบบหนึ่ง ในขณะเดียวกัน metatheorem เป็นหนึ่งในสาขาของตรรกะและมุ่งเน้นไปที่การศึกษาส่วนประกอบและคุณสมบัติของระบบตรรกะ ความสมบูรณ์ความสามารถในการตัดสินใจและความสม่ำเสมอนั้นโดดเด่น
ทฤษฎีบทการหักสามารถกำหนดให้เป็นพิธีการของเทคนิคการพิสูจน์ปกติ: สมมติฐานของ A เพียงพอที่จะสรุปได้ว่า B และแสดงให้เห็นว่า B ตามมาจาก A
สถานที่ของตัวอย่างก่อนหน้านี้ได้รับการตรวจสอบแล้วทั้งที่แรก (ซึ่งสามารถอธิบายได้อย่างละเอียดเนื่องจากมนุษย์ใช้เวลาหลายศตวรรษในการศึกษาสิ่งมีชีวิตที่อาศัยอยู่ในดาวเคราะห์โลก) และที่สอง (เนื่องจากผู้สังเกตการณ์ทำให้แน่ใจว่าบ็อบบี้ เป็นสุนัขก่อนที่จะยืนยัน) อย่างไรก็ตามเมื่อเราไปเยี่ยมชมพื้นที่ธรรมชาติเป็นครั้งแรกและได้เห็นสัตว์ที่ไม่รู้จักสำหรับเรามันเป็นเรื่องปกติที่เราจะสรุปสายพันธุ์ของมันแม้ว่าเราจะไม่มีความรู้ทางวิทยาศาสตร์และไม่ได้ตรวจสอบอย่างรอบคอบก็ตาม
การหักเงินในรูปแบบนี้เป็นเรื่องปกติมากและบางครั้งอาจทำให้เกิดปัญหาร้ายแรงโดยเฉพาะอย่างยิ่งเมื่อข้อความที่เราคิดว่าเราได้รับทำให้เรารู้สึกถูกคุกคามหรือเจ็บปวด เราไม่สามารถหลีกหนีธรรมชาติที่อยากรู้อยากเห็นของเราความต้องการที่จะพูดเกี่ยวกับทุกสิ่งรอบตัวเรา แต่บ่อยครั้งที่เราลงน้ำและทำผิดพลาดที่ทำลายความสัมพันธ์ทำให้เราออกจากงานหรือทำร้ายผู้อื่น
ในขอบเขตภาษีการหักลดหย่อนคือค่าเผื่อ: ส่วนลดของจำนวนโควต้าหรือฐานของภาษีบางรายการ สมมติว่าคนที่จะต้องจ่าย5000 เปโซของภาษีเงินได้อย่างไรก็ตามกฎระเบียบด้านภาษีอนุญาตให้หักภาษีดังกล่าวจากจำนวนเงินที่ลงทุนในกิจกรรมการผลิตได้ ในกรณีที่บุคคลนี้ก็เป็น1,000 เปโซ ดังนั้นการหักเงินที่สอดคล้องกันจะนำไปใช้กับการตั้งถิ่นฐานเดิม: จำนวนเงินที่จะต้องจ่ายยังคงอยู่ที่4000 เปโซ