真值名词解释：命题逻辑的基本概念之一.指命题所取的值.在二值逻辑中,真值有两种名词解释：“真”和“假”.通常用符号“T”表示真,用“F”或“⊥”表示假.如果一个命题正确地反映了客观,则该命题的真值为真,或称该命题有真值“T”.否则该命题的真值为假,或称有真值“F”(或“⊥”).例如,命题“苏格拉底是人”的真值是“T”,而“二加二等于五”有真值“F”.真值这个词是德国数学家、数理逻辑学家弗雷格(Frege,(F.L.)G.)首先提出来的.
