Cookie Policy Terms and Conditions >
恒真式(こうしんしき)とは論理学の用語で、「aならばaである(a → a)」「aである、または、aでない(a ∨ ¬a)」のように、変項aの真理値にかかわらず常に真となる命題のことである。トートロジー(tautology)とも呼ぶ。
カテゴリ: 論理学 | 数学に関する記事