ホーン節
命題論理における原子命題を P とするとき、P または ¬P のことをリテラル(literal)と呼び、両者を区別する場合は P を正リテラル (positive literal)、¬P を負リテラル (negative literal) と呼ぶ。リテラルを選言(disjunction)で結合したものを節(せつ、clause)と呼ぶ。例えば、L1 , L2 , ... , Ln をリテラルとするとその選言結合
L1 ∨ L2 ∨ ... ∨ Ln
は節である。