ホーン節(ホーンせつ、Hornclause)とは、数理論理学における、高々1つの肯定形のリテラルを持つ節(リテラルの選言結合命題)を言う.
Hornclause