霍恩子句的意思

huò ēn zǐ jù

霍恩子句

拼音huò ēn zǐ jù

拼音字母huo en zi ju

拼音首字母hezj

百科含义

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

词语组词

相关词语