【词语名称】霍恩子句(huoenziju)
【词语拼音】huo en zi ju
【词语读音】huò ēn zǐ jù
【词语简拼】HEZJ
【网络释义】 在数理逻辑中,霍恩子句(Horn Clause)是带有最多一个肯定文字的子句(文字的析取)。
【分字组词】句字组词 子字组词 恩字组词 霍字组词
友情链接:姓名测试