更新时间：2026-07-16 14:59:03
求解答，词语「霍恩子句」是什么意思？再说说霍恩子句有什么含义？
在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。
欢迎使用深词马克汉语词典！我们致力于提供最全面的词语查询服务，包括成语、近义词、反义词、组词等。如有任何问题，欢迎联系我们。