【真值表】
拼译:truth value table
描述简单判断组合成的各种复杂判断之“真”、“假”情况的表格形式(见下图)。在逻辑学中,若一个判断是正确的,则称这个判断为“真”,用符号T表示;若一个判断是不正确的,则称这个判断为“假”,用符号F表示。用一些逻辑操作,如“与”(∧)、“或”(∨)、“非”(~)等,可将简单的判断构成各种复杂的判断。这些复杂判断的正确性是由组成它们的简单判断决定的。如,假设有两个简单判断P和Q,则:(1)只有当P和Q都为真时,复杂判断“P∧Q”才为真,否则“P∧Q”为假;(2)只要P和Q有一个为真,复杂判断“P∨Q”就为真,否则“PVQ”为假;(3)操作“非”是取反,即P为真时,则“~P”为假,而P为假时,则“~P”为真。 
|