灵犀词语网 - 汉语词典
霍恩子句
huò ēn zi jù
ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ

📖 词语释义

更多解释

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

✂️ 拆字组词

🔗 相关词语

友情链接