จํานวนตรรกยะคือ คืออะไร

ตรรกยะ (Logic) คือสาขาหนึ่งของวิทยาการที่ศึกษาเกี่ยวกับเรื่องราวต่อเนื่องของการคิดที่ถูกต้อง ในรูปแบบของวิธีการเหตุผลที่ประสมจากการใช้ข้อมูลเชิงตรรกศาสตร์ที่แน่นอน โดยตรรกยะมีวัตถุประสงค์ในการให้เครื่องเรื่องคิดที่เป็นเหตุผลและมีความถูกต้องตามกฎหมายที่เชื่อมโยงกับความรู้และกฎข้อตกลงต่างๆ

จำนวนตรรกยะ (Propositional Logic) เป็นส่วนหนึ่งของตรรกยะที่ศึกษาเกี่ยวกับตัวแปรตรรกยะหรือค่ากำหนดที่สามารถแทนด้วยตัวแปรเรื่องตรรกยะ โดยตัวแปรตรรกยะสามารถมีค่าเป็นจริง (True) หรือเท็จ (False) ซึ่งประโยคอื่นๆ อาจถูกสร้างขึ้นมาโดยใช้ตัวดำเนินการตรรกยะเช่น AND, OR, NOT, IF-THEN, IF AND ONLY IF เพื่อเข้ารหัสด้วยตัวแปรตรรกยะ

ตัวอย่างประโยคตรรกยะ:

• ประโยค "ฟ้าสวยเป็นศิลปิน" (The sky is blue) สามารถแทนด้วยตัวแปรตรรกยะ A
• ประโยค "หิมะเป็นขาว" (Snow is white) สามารถแทนด้วยตัวแปรตรรกยะ B

ในตัวอย่างด้านบน เราสามารถใช้ตัวดำเนินการตรรกยะ "AND" เพื่อเชื่อมต่อประโยค A และ B ให้เป็นประโยคใหม่ "ฟ้าสวยเป็นศิลปินและหิมะเป็นขาว" (The sky is blue AND snow is white)

จำนวนตรรกยะมีการใช้งานในหลากหลายด้านเช่น การประมวลผลคอมพิวเตอร์, การสร้างความคิดริเริ่มและการตรวจสอบตามลำดับขั้นของข้อมูล รวมถึงการใช้ในทฤษฎีการเรียนรู้และปัญญาประดิษฐ์