请问「霍恩子句」是什么意思?
2026-07-16 04:33:03
「霍恩子句」读音
拼音 huò ēn zi jù,注音 ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ
| 拼音字母 | huo en zi ju |
|---|---|
| 拼音首字母 | hezj |
| 注音符号 | ㄏㄨㄛ ㄣ ㄗ ㄐㄩ |
| 注音首符号 | ㄏㄣㄗㄐ |
「霍恩子句」释义
扩展释义 在数理逻辑中,霍恩子句(Horn Clause)是带有最多一个肯定文字的子句(文字的析取)。
请问「霍恩子句」是什么意思?
「霍恩子句」读音
拼音 huò ēn zi jù,注音 ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ
| 拼音字母 | huo en zi ju |
|---|---|
| 拼音首字母 | hezj |
| 注音符号 | ㄏㄨㄛ ㄣ ㄗ ㄐㄩ |
| 注音首符号 | ㄏㄣㄗㄐ |
「霍恩子句」释义
扩展释义 在数理逻辑中,霍恩子句(Horn Clause)是带有最多一个肯定文字的子句(文字的析取)。