百 思墨词语词典 - 汉语词典大全 作者 2026-07-16 04:00:16 霍恩子句 拼音 huò ēn zi jù · 注音 ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ 基本属性 拼音字母huo en zi ju 拼音首字母hezj 注音符号ㄏㄨㄛ ㄣ ㄗ ㄐㄩ 扩展释义 在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。