truth value
真理値
名詞
複数形: truth values
truth valueは、主に論理学や数学、コンピューターサイエンスの分野で用いられる専門用語です。ある命題や文が真(true)であるか偽(false)であるかという、二値的な状態を指します。日常会話で使われる真実や正解という概念よりも、形式的な論理体系における属性としての側面が強く、客観的な判定結果に焦点を当てた言葉です。
論理学とコンピューターサイエンスでの役割
コンピューターサイエンスにおいては、ブール代数に基づいたboolean型として実装されており、条件分岐やループ処理の制御に不可欠な要素です。例えば、ある条件式が成立しているかどうかを判定し、その結果として得られる真または偽の値がtruth valueに当たります。
true(真):条件が満たされている状態
false(偽):条件が満たされていない状態
類義語との概念的な違いtruthという言葉は、道徳的な正しさや事実に基づいた内容など、非常に広範な意味を持ちますが、truth valueはあくまで真か偽かという論理的な値のみを指します。また、validity(妥当性)は論理的な推論の形式が正しいかどうかを指すのに対し、truth valueは個々の命題の内容が事実に合致しているかという結果を指すため、明確に区別して使用されます。
意味
名詞真理値
命題や文が真であるか偽であるかを示す属性であり、通常は論理学、数学、コンピューターサイエンスで使用されること
The truth value of the statement 'snow is white' is true.
雪は白いという文の真理値は真である。
関連語
truth valuelogicpropositionbooleantruthfalsityvalidityveracityassertionstatementpredicatequantifieroperatorconjunctiondisjunctionnegationimplicationequivalencetautologycontradictioncontingencyvaluationassignmentbinarybittruefalsesemanticssyntaxformalismproofinferencedeductioninductionaxiomtheoremlemmacorollarysyllogismpremiseconclusionargumentparadoxdialecticphilosophymathematicscomputationalgorithmcircuitgatevariableconstantsetdomainrangemappingfunctiontruth tableconsistencysoundnesscompletenessverificationfalsificationevidencefactrealityontologyepistemology