ในการพิสูจน์ทางคณิตศาสตร์ ถ้ากำหนดให้ข้อสมมติ P เป็นจริง และสามารถอนุมานได้ว่า Q เป็นจริงเสมอ ความสัมพันธ์นี้เรียกว่าอะไร
กการนิรนัย (Deduction)
ขการอุปนัย (Induction)
คการขัดแย้ง (Contradiction)
งการสมมูล (Equivalence)
เฉลยอธิบาย
การนิรนัย (Deduction) คือกระบวนการอนุมานที่ถ้าข้อสมมติ P เป็นจริง แล้วสามารถสรุปได้อย่างแน่นอนว่า Q เป็นจริงเสมอ โดยอาศัยกฎตรรกศาสตร์ ส่วนการอุปนัย (Induction) คือการสรุปจากกรณีเฉพาะไปสู่กรณีทั่วไป การขัดแย้ง (Contradiction) คือการพิสูจน์โดยสมมติให้ข้อสรุปเป็นเท็จแล้วหาข้อขัดแย้ง และการสมมูล (Equivalence) คือความสัมพันธ์ที่ P จริงก็ต่อเมื่อ Q จริงเท่านั้น