释
霍恩子句
huò ēn zi jù · ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ
修撰于 2026-07-01 20:27:11
音义
| 拼音 | huò ēn zi jù |
|---|---|
| 字母 | huo en zi ju |
| 首字母 | hezj |
| 注音 | ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ |
| 注音符号 | ㄏㄨㄛ ㄣ ㄗ ㄐㄩ |
广训
在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。
huò ēn zi jù · ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ
修撰于 2026-07-01 20:27:11
| 拼音 | huò ēn zi jù |
|---|---|
| 字母 | huo en zi ju |
| 首字母 | hezj |
| 注音 | ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ |
| 注音符号 | ㄏㄨㄛ ㄣ ㄗ ㄐㄩ |
在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。