ホーン節
ホーン節（ホーンせつ、）とは、数理論理学において、節（リテラルの選言結合命題）のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによって導入された。
Q1166618
数理論理学
Concept
Q28686925
リテラル
UNK
Q761863
アルフレッド・ホーン
PER
Q933932
ホーン節
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
named after