In classical logic, with its intended semantics, the truth values are "true" (denoted by "1" or the verum ⊤), and "untrue" or "false" (denoted by "0" or the falsum ⊥); that is, classical logic is a two-valued logic. This set of two values is also called the Boolean domain. Corresponding semantics of logical connectives are truth functions, whose values are expressed in the form of truth tables.
ค่าความจริง () ในทางตรรกศาสตร์และคณิตศาสตร์ หมายถึง ค่าที่ใช้บ่งบอกว่าประพจน์ใดเป็นความจริง ในเรื่องของตรรกศาสตร์แบบฉบับ (classical logic) ค่าความจริงมีเพียงสองอย่างเท่านั้นคือ ค่าจริง (true) และค่าเท็จ (false) แต่สําหรับตรรกศาสตร์คลุมเครือ (fuzzy logic) หรือตรรกศาสตร์หลายค่า (multi-valued logic) ค่าความจริงอาจจะมีค่าอย่างอื่นที่นอกเหนือจากนั้นก็ได้