真理値と恒真式
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/01 10:45 UTC 版)
詳細は「恒真式」を参照 同じ言明の異なる解釈(英語版)を考慮することは、真理値の概念につながる。真理値に対する最も単純な説明は、ある場合には言明が「真」であっても、別の場合には「偽」である可能性があるということを意味する。恒真式(トートロジー)とは、どのような解釈の下でも真であることが判明した任意の種類の論理式(well-formed formula)や命題である(文脈によっては、付値(英語版)(valuation)または割り当て(assignment)と呼ばれることもある)。これは論理的真理と同義である。 しかし、恒真式という用語は、より具体的には真理関数的恒真式と呼ばれるものを指すためにも一般的に使用されている。恒真式や論理的真理は、それが一般的に含む論理学の用語(「全ての」(every)、「いくつかの」(some)、「は」(is)など)に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語(「または」(or)、「かつ」(and)、否定論理和(nor)など)に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。
※この「真理値と恒真式」の解説は、「論理的真理」の解説の一部です。
「真理値と恒真式」を含む「論理的真理」の記事については、「論理的真理」の概要を参照ください。
- 真理値と恒真式のページへのリンク