「恒真式」の版間の差分

'''恒真式'''（こうしんしき、tautology）とは[[論理学]]の用語で、「a[[論理包含|ならば]] aである（a → a）」「aである、[[論理和|または]]、aで[[論理否定|ない]]（a ∨ ￢a）」のように、そこに含まれる[[命題変数]]の[[真理値]]、あるいは[[一階述語論理#論理式の真偽|解釈]]にかか関わらず常に[[真]]となる論理式である。