恒真式とはなんですか？

ページ名：恒真式とはなんですか？

A. 恒真式は、論理学の用語で、常に真となる論理式を指します。例えば、「aならば aである (a → a)」や「aである、または、aでない (a ∨ ￢a)」などが該当します。