查看“︁真值”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=真值
|eng_name=truth value
}}
'''真值'''是指一个[[命题]]是真是假的值，在二值逻辑理论中只有[[真]]、[[假]]两种取值。

把真假看成两种逻辑，[[逻辑联结词]][[析取|且]]、[[合取|或]]、[[否定|非]]看成运算，真值对应着[[布尔域]]。
把指代真值的值看成变量，则是[[二值变量]]。


{{命题逻辑}}
{{谓词逻辑}}