ホーン節

ん・せつHōn·setsu2

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