和英辞書

恒真式

ひらがな

こうしんしき

名詞

tautology (in logic)

日本語の意味

命題論理において、その命題を構成する変数にどのような真理値を与えても常に真となる論理式。トートロジー。 / 一般に、ある条件や状況にかかわらず常に成り立つ式や命題。

やさしい日本語の意味

どんなときでもかならず正しいといえる きごうのならび方のこと

恒真式は、、どのような 値を代入しても常に真となる論理式のことを指します。

A tautology refers to a logical formula that is always true, no matter what values are substituted.

意味（1）

tautology (in logic)

恒 (こう)真 (しん)式 （ canonical ）

kōshinshiki （ romanization ）

しき （ hiragana ）