ค่าความจริง

จากวิกิพีเดีย สารานุกรมเสรี

ค่าความจริง (อังกฤษ: Truth value) ในทางตรรกศาสตร์และคณิตศาสตร์ หมายถึง ค่าที่ใช้บ่งบอกว่าประพจน์ใดเป็นความจริง ในเรื่องของตรรกศาสตร์แบบฉบับ (classical logic) ค่าความจริงมีเพียงสองอย่างเท่านั้นคือ ค่าจริง (true) และค่าเท็จ (false) แต่สำหรับตรรกศาสตร์คลุมเครือ (fuzzy logic) หรือตรรกศาสตร์หลายค่า (multi-valued logic) ค่าความจริงอาจจะมีค่าอย่างอื่นที่นอกเหนือจากนั้นก็ได้

เซตของค่าความจริง { ค่าจริง, ค่าเท็จ } ทำให้เกิดพีชคณิตแบบบูล (Boolean algebra) ซึ่งคำนวณด้วยวิธีที่คล้ายพีชคณิตแล้วให้ผลเฉพาะในเซตเท่านั้น ส่วนพีชคณิตแบบอื่นอาจมีการใช้เซตของค่าความจริงในตรรกศาสตร์ที่ไม่ได้เป็นแบบฉบับ ตัวอย่างเช่น ตรรกศาสตร์สหัชญาณนิยม (intuitionistic logic) หรือพีชคณิตเฮย์ทิง (Heyting algebra) เป็นต้น

ในการเขียนโปรแกรม คอมพิวเตอร์จะให้ความหมายของค่า 0 เป็นค่าเท็จ และค่าอื่นที่ไม่ใช่ 0 (รวมทั้ง 1) หมายถึงค่าจริง และภาษาโปรแกรมบางภาษาอาจมีค่าว่าง (null) อยู่ด้วย ซึ่งไม่ใช่ทั้งค่าจริงและค่าเท็จ