霍恩子句

霍恩子句的词语属性

霍恩子句的百科含义

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

• zhī cì支赐
• xiān jì仙妓
• 权益类资产
• 西南天门冬
• 女孩担水
• líng tóu fān灵头旛
• 流光字
• 蒙力
• 榼藤属
• 宋懿
• 夏天的雪
• 王瑾
• shū zhǎng舒长
• 边上假脉蕨
• 双色球复式
• 王玉山
• 网络实名制
• 监督学习
• yī wēi蛜蝛
• 刘振中
• 北外乔木
• 赖建火
• 伍村
• 嘉兴市政府
• 时间引信
• 博雅集
• 果酱跳舞机
• 王春光
• 鱿鱼烩肉茸
• hù bì护壁