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