文络智义词库

2026-07-16 14:50:27

霍恩子句

huò ēn zi jù · ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ

字母
huo en zi ju
首字母
hezj
注音符号
ㄏㄨㄛ ㄣ ㄗ ㄐㄩ
注音首符
ㄏㄣㄗㄐ

在数理逻辑中,霍恩子句(Horn Clause)是带有最多一个肯定文字的子句(文字的析取)。

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

链接