霍恩子句的词语属性

霍恩子句的百科含义

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