词语霍恩子句的详细解释,霍恩子句的拼音及基本释义

霍恩子句

【词语拼音】huò ēn zǐ jù

【词语繁体】霍恩子句

【词语结构】ABCD式词语

【词语字数】四字词语

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