词语含义

查询结果

霍恩子句

huò ēn zi jù

ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ

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

更新 2026-07-16 01:16:03

扩展释义

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

拆字组词

相关词语

友情链接