⊤

ウィキペディア

恒真式

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/22 06:49 UTC 版)

恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ￢a)」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式である。