ค่าความจริงในเชิงตรรกะความจริง (T หรือ 1) หรือความเท็จ (F หรือ 0) ของข้อเสนอหรือคำสั่งที่กำหนด การเชื่อมต่อแบบลอจิคัลเช่นการแยก (สัญลักษณ์∨, สำหรับ“ หรือ”) และการปฏิเสธ (สัญลักษณ์ ∼) สามารถคิดได้ว่าเป็นความจริง - ฟังก์ชั่นเพราะความจริง - ตามตัวอักษรประพันธ์เป็นฟังก์ชันของหรือปริมาณขึ้นอยู่กับ ค่าความจริงของส่วนประกอบต่างๆ
ความจริง - ค่าของคำสั่งผสมสามารถทดสอบได้อย่างง่ายดายโดยใช้แผนภูมิที่เรียกว่าตารางความจริง แต่ละแถวของตารางแสดงชุดค่าความจริงที่เป็นไปได้สำหรับข้อเสนอส่วนประกอบของสารประกอบและจำนวนแถวจะถูกกำหนดโดยจำนวนชุดค่าผสมที่เป็นไปได้ ตัวอย่างเช่นหากสารประกอบมีข้อเสนอองค์ประกอบเพียงสองข้อจะมีความเป็นไปได้สี่อย่างและทำให้แถวสี่แถวลงในตาราง คุณสมบัติทางตรรกะของการเชื่อมต่อทั่วไปอาจแสดงโดยตารางความจริงดังต่อไปนี้:
ที่·หมายถึง“ และ” และ⊃หมายถึง“ ถ้า.. จากนั้น.” (ในตาราง“ หรือ” ตัวอย่างเช่นบรรทัดที่สองอ่าน“ ถ้า p เป็นจริงและ q เป็นเท็จดังนั้น p ∨ q เป็นจริง”) ตารางความจริงที่มีความซับซ้อนมากขึ้นผู้ที่มีฟังก์ชั่นความจริงจำนวนมาก สามารถสร้างโดยใช้คอมพิวเตอร์ ระบบเชิงตรรกะของบทคัดย่อได้ถูกสร้างขึ้นซึ่งใช้ค่าความจริงสามค่า (เช่นจริงเท็จและไม่แน่นอน) หรือแม้แต่จำนวนมากเช่นเดียวกับตรรกะคลุมเครือซึ่งข้อเสนอมีค่าระหว่าง 0 ถึง 1
