Loading AI tools
จากวิกิพีเดีย สารานุกรมเสรี
แคลคูลัสเชิงประพจน์ (อังกฤษ: propositional calculus) คือระบบรูปนัยสำหรับการใช้เหตุผลแบบนิรนัย ที่มีหน่วยพื้นฐานคือตัวแปรเชิงประพจน์ (ซึ่งจะแตกต่างจากตรรกศาสตร์ภาคแสดงที่อาจมีการใช้ ตัวบ่งปริมาณ และมีหน่วยพื้นฐานคือฟังก์ชันเชิงประพจน์ และตรรกศาสตร์อัญรูปที่หน่วยพื้นฐานอาจไม่ใช่ประโยคระบุความจริง)
ลิงก์ข้ามภาษาในบทความนี้ มีไว้ให้ผู้อ่านและผู้ร่วมแก้ไขบทความศึกษาเพิ่มเติมโดยสะดวก เนื่องจากวิกิพีเดียภาษาไทยยังไม่มีบทความดังกล่าว กระนั้น ควรรีบสร้างเป็นบทความโดยเร็วที่สุด |
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |
ในที่นี้ แคลคูลัส คือระบบทางตรรกศาสตร์ที่ใช้สำหรับพิสูจน์ทั้งสูตร (นั่นคือทฤษฎีบทที่ได้จากระบบนั้น) และการอ้างเหตุผลที่สมเหตุสมผล แคลคูลัสคือเซตของสัจพจน์ (ที่อาจเป็นเซตว่างหรืออาจเป็นเซตอนันต์นับได้) และกฎการอนุมานสำหรับการสร้างการอนุมานที่สมเหตุสมผล ไวยากรณ์รูปนัย (หรือ วากยสัมพันธ์) จะนิยามนิพจน์และสูตรที่จัดดีแล้ว (well-formed formular หรือ wff) ของภาษาแบบเวียนเกิด นอกจากนี้จะต้องมีการระบุความหมาย (อรรถศาสตร์) ที่นิยามความจริงและค่าต่าง ๆ (หรือการตีความ) ทั้งหมดนี้ทำให้เราสามารถตัดสินได้ว่าสูตรที่จัดดีแล้วสูตรใดสมเหตุสมผล
ในแคลคูลัสเชิงประพจน์นั้น ภาษาจะประกอบด้วยตัวแปรเชิงประพจน์ และตัวดำเนินการเชิงประโยค (หรือ ตัวเชื่อม) สูตรที่จัดดีแล้ว คือสูตรที่เป็นหน่วยพื้นฐาน หรือสูตรที่สร้างโดยใช้ตัวดำเนินการเชิงประโยค
ต่อไปเราจะได้แสดงรูปแบบมาตรฐานของแคลคูลัสเชิงประพจน์อย่างคร่าว ๆ รูปแบบอื่น ๆ ที่แตกต่างไปจากนี้ก็ยังมีใช้อยู่ ข้อแตกต่างที่พบจะมีในส่วนของ (1) ภาษา (ตัวดำเนินการและตัวแปรใดบ้างที่จัดว่าเป็นส่วนของภาษา) (2) สัจพจน์ใดที่ใช้ และ (3) กฎการอนุมานที่ใช้
ภาษาของแคลคูลัสเชิงประพจน์ประกอบด้วย:
เซตของ wff ถูกนิยามแบบเวียนเกิด (เรียกซ้ำ) ด้วยกฎต่อไปนี้
การใช้กฎเหล่านี้ทำให้เราสร้าง wff ที่ซับซ้อนได้ เช่น
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มข้อมูลส่วนนี้ได้ |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.