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