语林词典 - 汉语词语大全 聊天词典

请问「霍恩子句」是什么意思?

2026-07-16 11:00:35

「霍恩子句」读音

拼音 huò ēn zi jù,注音 ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ

拼音字母huo en zi ju
拼音首字母hezj
注音符号ㄏㄨㄛ ㄣ ㄗ ㄐㄩ
注音首符号ㄏㄣㄗㄐ

「霍恩子句」释义

扩展释义 在数理逻辑中,霍恩子句(Horn Clause)是带有最多一个肯定文字的子句(文字的析取)。