恒真式
7.恒真命題・恒偽命題 (山陽学園大学 論理学)
11.述語論理 (山陽学園大学 論理学)
表示
編集
命題論理において、命題を記号化したものが論理式であるが、論理式を構成している、最も単純な文に相当する要素式の真偽値の取り方に関係なく常に真(恒真)となる論理式が存在し、それらはトートロジーもしくは恒真式と呼ばれる。真にも偽にもなりうる論理式を整合式(英: consistent well-formed formula)、恒に偽になる論理式を恒偽式もしくは矛盾式(英: contradictory well-formed formula)という。