ค่าความจริง

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

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

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