ถ้าต้องพิสูจน์ว่า 'ผลบวกของจำนวนคู่สองจำนวนเป็นจำนวนคู่เสมอ' ควรใช้วิธีใด
กบอกว่าเป็นสมบัติของจำนวนคู่ที่รู้มาแต่เดิม
ขเขียนจำนวนคู่สองจำนวนเป็น 2m และ 2n เมื่อ m และ n เป็นจำนวนเต็ม แล้วแสดงว่า 2m + 2n = 2(m+n) ซึ่งเป็นจำนวนคู่
คแสดงตัวอย่างมากมายเช่น 2+4=6, 4+6=10, 8+12=20 และสรุปว่าเป็นจริงเสมอ
งยอมรับข้อความนี้เป็นจริงเพราะฟังดูสมเหตุสมผล
เฉลยอธิบาย
การพิสูจน์ทางคณิตศาสตร์ต้องใช้กรรมวิธีนิรนัย โดยเริ่มจากนิยามของจำนวนคู่ และแสดงให้เห็นว่าผลบวกนั้นสามารถเขียนในรูปของจำนวนคู่ได้ ตัวเลือก A ใช้กรรมวิธีอุปนัยซึ่งไม่เพียงพอในการพิสูจน์ว่าเป็นจริง 'เสมอ' ตัวเลือก C ไม่มีเหตุผลทางคณิตศาสตร์ ตัวเลือก D เป็นการยอมรับแบบเชื่อได้