词语

霍恩子句

huò ēn zi jù · ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ · 更新 2026-07-01 21:38:12

基本属性

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

词语解释

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

拆字组词