ホーン節

ほーん・せつHōn·setsu

N.
Logik Horn-Formel f f (nach Alfred Horn).